GGU-ELASTIC: Page size + margins menu GGU-ELASTIC: "Auto-resize" menu item GGU-ELASTIC: "Manual resize (mouse)" menu item GGU-ELASTIC: "Manual resize (editor)" menu item GGU-ELASTIC: "Page size and margins" menu item GGU-ELASTIC: "Margins and borders" menu item
