From d5d8ddecba486b763319ca24931b68ce4e32dbd9 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Mon, 28 Aug 2017 14:17:48 +0200
Subject: [PATCH] Import patch from PR #2366

Remove our CSS hacks, to "fix" the compilation with Doxygen 1.8.13
---
 .../doc/resources/1.8.13/cgal_stylesheet.css  | 43 -------------------
 .../doc/resources/1.8.13/header.html          |  1 +
 2 files changed, 1 insertion(+), 43 deletions(-)

diff --git a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
index 3074c662f0f..c424158f467 100644
--- a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
+++ b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css
@@ -178,53 +178,10 @@ div.groupText {
     font: 200% Tahoma, Arial,sans-serif;
 }
 
-/* fix the back button by hacking the layout */
-/* this becomes unnecessary with the latest doxygen, r834 */
-#top {
-    position: fixed;
-    top: 0;
-    left: 0;
-    width: 100%;
-    z-index: 1;
-}
-
-#footer {
-    position: fixed;
-    bottom: 0;
-    left: 0;
-    width: 100%;
-}
-
-#doc-content {
-    /* this is the header/footer padding */
-    /* so the content does not hide behind them */
-    padding-top: 91px;
-    padding-bottom: 32px;
-    overflow: visible;
-}
-
-#side-nav {
-    position: fixed;
-}
-
 #titlearea {
     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;
 }
diff --git a/Documentation/doc/resources/1.8.13/header.html b/Documentation/doc/resources/1.8.13/header.html
index 45ac1a4028c..d55f35f5b1c 100644
--- a/Documentation/doc/resources/1.8.13/header.html
+++ b/Documentation/doc/resources/1.8.13/header.html
@@ -11,6 +11,7 @@
 <!-- <link href="$relpath^../Manual/tabs.css" rel="stylesheet" type="text/css"/> -->
 <script type="text/javascript" src="$relpath^../Manual/jquery.js"></script>
 <script type="text/javascript" src="$relpath^../Manual/dynsections.js"></script>
+<script src="$relpath$../Manual/hacks.js" type="text/javascript"></script>
 $treeview
 $search
 $mathjax