]> git.openstreetmap.org Git - nominatim.git/blobdiff - docs/extra.css
Merge branch 'clean-deleted-relations' of https://github.com/lujoh/Nominatim into...
[nominatim.git] / docs / extra.css
index a8c3a1c86269aa128619eb6d9fe3b49f299d1c04..155fa1aa71fcaf91bbbd66792a87110b206569a9 100644 (file)
@@ -1,3 +1,36 @@
 .toctree-l3 {
     display: none!important
 }
+
+.wy-nav-content {
+    max-width: 900px!important
+}
+
+table {
+    margin-bottom: 12pt
+}
+
+th, td {
+    padding: 1pt 12pt;
+}
+
+th {
+    background-color: #eee;
+}
+
+.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;
+}