/* Possible frame-local default for outside margin widths. */
MARKED_SLOT (left_margin_width);
MARKED_SLOT (right_margin_width);
/* Possible frame-local default for outside margin widths. */
MARKED_SLOT (left_margin_width);
MARKED_SLOT (right_margin_width);