Page size + margins menu

• "Auto-resize" menu item
• "Manual resize (editor)" menu item
• "Manual resize (mouse)" menu item
• "Zoom" menu item
• "Page size and margins" menu item
• "Font size selection" menu item
• "Undo" menu item
• "Restore" menu item
• "Preferences" menu item