mirror of
https://github.com/envmodules/modules.git
synced 2026-06-03 00:33:18 +08:00
Use html_css_files configuration option introduced in Sphinx 1.8 to setup CSS in a more conventional way. Also fix pre.literal-block specific styling as the 'section' div is not used anymore in newer Sphinx versions.