switch to material theme

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index 3aecf2ef750e2eae298708eb7e2b8b20cdc9d8ac..2151b06686b23a83f355606b0b7b1effe657e24c 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -2,6 +2,10 @@
     display: none!important
 }
 
+.wy-nav-content {
+    max-width: 900px!important
+}
+
 table {
     margin-bottom: 12pt
 }
@@ -16,9 +20,12 @@ th {
 
 .doc-object h6 {
     margin-bottom: 0.8em;
-    font-size: 120%;
+    font-size: 130%;
 }
 
 .doc-object {
     margin-bottom: 1.3em;
 }
+
+.doc-children .doc-contents {
+    margin-left: 3em;