Add some magic to make id links not be obscured by the floating header.

dlech · dlech · commit 4c9e8398d63b · 2015-05-27T12:23:27.000-05:00
Thanks http://stackoverflow.com/a/24298427/1976323 Fixes ev3dev/ev3dev#341
diff --git a/stylesheets/styles.css b/stylesheets/styles.css
@@ -1572,4 +1572,12 @@ section #title p {
 .cclicense {
     text-align: center;
     color: #696969;
-}
+}
+
+*[id]:before { 
+    display: block; 
+    content: " "; 
+    margin-top: -75px; 
+    height: 75px; 
+    visibility: hidden; 
+}
