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

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

diff --git a/doc/smart_ptr-docinfo-footer.html b/doc/smart_ptr-docinfo-footer.html
index 8cf495c..e81781d 100644
--- a/doc/smart_ptr-docinfo-footer.html
+++ b/doc/smart_ptr-docinfo-footer.html
@@ -4,30 +4,3 @@
 table tr.even, table tr.alt, table tr:nth-of-type(even) { background: none; }
 
 </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>