A scrollbar should mean there is more content than the screen can show. Proof to Plan now uses the available desktop height before asking you to scroll.
- A few thoughts expand the writing area naturally without creating an inner scrollbar.
- The input stays directly below the current proof instead of leaving usable space idle elsewhere on the screen.
- Long proof still becomes scrollable when the complete writing flow reaches the viewport limit.
- Phone and keyboard layouts keep their existing bottom-docked controls.