From 719ec039a2eefb12129d04a30067f799090ae210 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Fri, 16 Jun 2017 19:35:29 +0300
Subject: [PATCH] Remove javascript that tried to integrate the Boost banner,
 as it didn't work

---
 doc/index-docinfo-footer.html | 27 ---------------------------
 1 file changed, 27 deletions(-)

diff --git a/doc/index-docinfo-footer.html b/doc/index-docinfo-footer.html
index d29f288..b27346f 100644
--- a/doc/index-docinfo-footer.html
+++ b/doc/index-docinfo-footer.html
@@ -3,30 +3,3 @@
 *:not(pre)>code { background: none; color: #600000; }
 
 </style>
-
-<script>
-
-var header = document.getElementById( 'boost-common-heading-doc' );
-
-if( header )
-{
-    header.style.position = 'fixed';
-    header.style.zIndex = '100';
-
-    var notice = document.getElementsByClassName( 'boost-common-header-notice' )[ 0 ];
-
-    if( notice )
-    {
-        notice.style.position = 'fixed';
-        notice.style.zIndex = '101';
-    }
-
-    var toc = document.getElementById( 'toc' );
-
-    if( toc )
-    {
-        toc.style.top = '101px';
-    }
-}
-
-</script>