Rohan Kumar 8597e50a59 Stylesheet: better print theme, simpler dark theme ... - Better print stylesheet, now with a file dedicated just for print style improvements. - Hide extra stuff in print. - Bring back navbar for print because it also tells users the current section and the site name. - Dark theme: make superscripts bold instead of using a higher-contrast color.		2022-04-27 08:41:36 -07:00
..
dark.css	Stylesheet: better print theme, simpler dark theme	2022-04-27 08:41:36 -07:00
main.css	Stylesheet: better print theme, simpler dark theme	2022-04-27 08:41:36 -07:00
print.css	Stylesheet: better print theme, simpler dark theme	2022-04-27 08:41:36 -07:00