/* Opening screen button spacing; all other layout rules retained. */
#activation-saved-workspaces { margin-block-start: 12px; }