Merge remote-tracking branch 'upstream/master'

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index 9289c1d39884909c0d6d4c4a0209f8cec1039c97..155fa1aa71fcaf91bbbd66792a87110b206569a9 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -2,6 +2,10 @@
     display: none!important
 }
 
     display: none!important
 }
 

+.wy-nav-content {
+    max-width: 900px!important
+}
+

 table {
     margin-bottom: 12pt
 }
 table {
     margin-bottom: 12pt
 }


@@ -14,10 +18,19 @@ th {
     background-color: #eee;
 }
 
     background-color: #eee;
 }
 

-/* Indentation for mkdocstrings.
-div.doc-contents:not(.first) {
-  padding-left: 25px;
-  border-left: 4px solid rgba(230, 230, 230);
-  margin-bottom: 60px;
-}*/
+.doc-object h6 {
+    margin-bottom: 0.8em;
+    font-size: 130%;
+}
+
+.doc-object {
+    margin-bottom: 1.3em;
+}
+
+.doc-children .doc-contents {
+    margin-left: 3em;
+}

 
 

+.md-footer__inner {
+    display: none;
+}