I believe the fonts for rustdoc, docs.rs are hardcoded by default. The only way to change the font is to switch another hard-coded sans serif font series. While i can comfortably read with sans serif fonts but not serif, just for sure, can we get a option about toggling the hard-coded fonts at the settings menu?
Thanks!
