There're some visual artifacts with the old sphinx-rtd-theme as used on http://docs.micropython.org , see for example line spacing in different articles in http://docs.micropython.org/en/latest/reference/glossary.html . The latest sphinx-rtd-theme should fix those.