2 commits

Author	SHA1	Message	Date
Rohan Kumar	321f851431	Remove responsive navbar ... It's mobile-friendly as-is. I made sure that tap-targets were even bigger and more spaced-apart, just to be safe. Hide unnecessary nav-links in print mode.	2022-05-01 17:04:20 -07:00
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