add script for in-source execution

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index 2151b06686b23a83f355606b0b7b1effe657e24c..155fa1aa71fcaf91bbbd66792a87110b206569a9 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -29,3 +29,8 @@ th {
 
 .doc-children .doc-contents {
     margin-left: 3em;
+}
+
+.md-footer__inner {
+    display: none;
+}