Lars Eggert 16c250fa33 fix: Add theme switcher to document view (#6202) ... * fix: Add theme switcher to document view And reduce duplication in the page structure while I'm here. Fixes #6200 * Fix tests		2023-08-24 13:46:03 -05:00
..
css	fix: Add theme switcher to document view (#6202)	2023-08-24 13:46:03 -05:00
images	Address review comments	2023-06-02 11:43:53 +03:00
js	fix: Add theme switcher to document view (#6202)	2023-08-24 13:46:03 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00