Try to reduce size of website

Author: albinahlback

doc/source/_static/default.css

@@ -93,8 +93,14 @@ div.body h6 { font-size: 100%; }
 .sphinxsidebarwrapper li { margin: 3px 0; }
 
 /* toctree */
-div[class="toctree-wrapper compound"] { font-family: FreeSans, sans-serif; font-size: 92%; }
-div[class="toctree-wrapper compound"] code { font-family: Mononoki, monospace; font-size: 92%; }
+div[class="toctree-wrapper compound"]
+{
+    font-family: FreeSans, sans-serif; font-size: 92%;
+}
+div[class="toctree-wrapper compound"] code
+{
+    font-family: Mononoki, monospace; font-size: 92%;
+}
 
 /* description lists */
 dt { font-size: 90%; }