/**
 * Length of each resize corner along the card's sides, beyond the rounded
 * corner, in edge margins.
 */
export const RESIZE_CORNER_SIDE_MARGINS = 2;

/**
 * Largest share of each side's half-length a resize corner may cover, so the
 * middle of every side stays available for moving the card.
 */
export const MAX_RESIZE_CORNER_FRACTION = 0.5;

/** Stroke width multiplier for a hovered resize corner. */
export const RESIZE_CORNER_EDGE_WIDTH_SCALE = 2;