feedc0de/boost_assert
1
0
Fork 0
forked from boostorg/assert
Code Pull Requests Activity

Resolve conflict between the common Boost header and the ToC

Browse Source
This commit is contained in:
Peter Dimov
2017-06-10 18:27:04 +03:00
parent 5610a2dc7d
commit c045fca0b2
2 changed files with 56 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
doc/html/assert.html
View File

@@ -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>

29
doc/index.adoc
View File

@@ -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>
++++