Merge remote-tracking branch 'upstream/master'

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index f2cc55eefd1bf3877a6036958e4a3014a3dc4663..1decc4789e7d72f31ad9d445e72a488e4516c96b 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -20,7 +20,7 @@ th {
 
 .doc-object h6 {
     margin-bottom: 0.8em;
-    font-size: 140%;
+    font-size: 130%;
 }
 
 .doc-object {
@@ -29,3 +29,13 @@ th {
 
 .doc-children .doc-contents {
     margin-left: 3em;
+}
+
+.md-footer__inner {
+    display: none;
+}
+
+.headerlink {
+  filter: grayscale(100%);
+  font-size: 80%;
+}