diff --git a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
index c5e82f701dd..c424158f467 100644
--- a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
+++ b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
@@ -182,20 +182,6 @@ div.groupText {
     background: white;
 }
 
-/* this adjusts the anchors inside the doc-content div by the height of */
-/* the header. this is necessary because anchors are not adjusted by the */
-/* height of the position: fixed top div. */
-#doc-content a.anchor {
-    position: absolute; 
-    padding-top: 91px; 
-    margin-top: -91px;
-}
-
-#doc-content .anchor {
-    padding-top: 91px; 
-    margin-top: -91px;
-}
-
 #MSearchResultsWindow {
     z-index: 2;
 }