* fix: prevent the interactive gutter elements from interfering with the sidebar collapse button
* keep mobile padding the same on documents
Co-authored-by: Tom Moor <tom.moor@gmail.com>
This PR moves the entire project to Typescript. Due to the ~1000 ignores this will lead to a messy codebase for a while, but the churn is worth it – all of those ignore comments are places that were never type-safe previously.
closes#1282