/* The account menu is styled in src/global.css ("Account menu"), so it is laid out
   before the page section's own stylesheet arrives. Nothing to add here. */