Fix sidebar z-index (#538)

* Fix sidebar z-index

* Fix robots.txt

* Ignore dejavu.css

* Ignore it by the full URL

Author: aversey

.github/workflows/mkdocs-test.yml

@@ -75,7 +75,8 @@ jobs:
             sleep 1
           done
           echo "Launching linkchecker"
-          linkchecker --no-warnings --no-status http://127.0.0.1:8000/
+          # Ignore dejavu.css for now, it is a JDK bug.
+          linkchecker --no-warnings --no-status http://127.0.0.1:8000/ --ignore-url http://127.0.0.1:8000/javadoc/resources/fonts/dejavu.css
 
           # If ok just kill the server
           kill -9 $SERVER_PID

docs/css/custom.css

@@ -174,9 +174,6 @@
 header.md-header {
   z-index: 900 !important;
 }
-.md-sidebar {
-  z-index: 1000 !important;
-}
 .md-overlay {
   z-index: 950 !important;
 }

docs/robots.txt

@@ -1,10 +1,2 @@
 User-agent: *
-Disallow: /
-Allow: /4.1/
-Allow: /latest/
-
-Allow: /hopsworks-api/4.1/
-Allow: /hopsworks-api/latest/
-
-Allow: /hopsworks-api/4.1/javadoc/
-Allow: /hopsworks-api/latest/javadoc/
+Allow: /