Merge remote-tracking branch 'upstream/master'

[nominatim.git] / docs / extra.css

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