>> The font size in the Sphinx docs is indeed a bit large: it's the >> browser's default size which may vary across browsers. This should >> probably be fixed. > > Please don't change it. Screens are getting big nowadays and larger font > are easier to read. These fonts are not especially large. They are just > easy on the eye. +1