From c045fca0b2b08eef4dbbe5fec5777f756b078fd1 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Sat, 10 Jun 2017 18:27:04 +0300
Subject: [PATCH] Resolve conflict between the common Boost header and the ToC

---
 doc/html/assert.html | 28 +++++++++++++++++++++++++++-
 doc/index.adoc       | 29 +++++++++++++++++++++++++++++
 2 files changed, 56 insertions(+), 1 deletion(-)

diff --git a/doc/html/assert.html b/doc/html/assert.html
index a9b562f..c1ecd19 100644
--- a/doc/html/assert.html
+++ b/doc/html/assert.html
@@ -723,12 +723,38 @@ the final executable for security reasons.</p>
 </li>
 </ul>
 </div>
+<script>
+
+var header = document.getElementById( 'boost-common-heading-doc' );
+
+if( header )
+{
+    header.style.position = 'fixed';
+    header.style.zIndex = '100';
+
+    var notice = document.getElementById( 'boost-common-heading-notice' );
+
+    if( notice )
+    {
+        notice.style.position = 'fixed';
+        notice.style.zIndex = '101';
+    }
+
+    var toc = document.getElementById( 'toc' );
+
+    if( toc )
+    {
+        toc.style.top = '101px';
+    }
+}
+
+</script>
 </div>
 </div>
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2017-06-06 18:21:15 GTBDT
+Last updated 2017-06-10 18:24:56 GTBDT
 </div>
 </div>
 </body>
diff --git a/doc/index.adoc b/doc/index.adoc
index 6b8d0a3..f950e87 100644
--- a/doc/index.adoc
+++ b/doc/index.adoc
@@ -32,3 +32,32 @@ This documentation is
 * Copyright 2011 Beman Dawes
 * Copyright 2015 Ion Gaztañaga
 * Distributed under the http://www.boost.org/LICENSE_1_0.txt[Boost Software License, Version 1.0].
+
+++++
+<script>
+
+var header = document.getElementById( 'boost-common-heading-doc' );
+
+if( header )
+{
+    header.style.position = 'fixed';
+    header.style.zIndex = '100';
+
+    var notice = document.getElementById( 'boost-common-heading-notice' );
+
+    if( notice )
+    {
+        notice.style.position = 'fixed';
+        notice.style.zIndex = '101';
+    }
+
+    var toc = document.getElementById( 'toc' );
+
+    if( toc )
+    {
+        toc.style.top = '101px';
+    }
+}
+
+</script>
+++++