replace pylint with flake8 everywhere

[nominatim.git] / docs / extra.css

diff --git a/docs/extra.css b/docs/extra.css
index 155fa1aa71fcaf91bbbd66792a87110b206569a9..1decc4789e7d72f31ad9d445e72a488e4516c96b 100644 (file)
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -34,3 +34,8 @@ th {
 .md-footer__inner {
     display: none;
 }
+
+.headerlink {
+  filter: grayscale(100%);
+  font-size: 80%;
+}