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

Move style, script tags to a docinfo footer

Browse Source
This commit is contained in:
Peter Dimov
2017-06-11 00:33:37 +03:00
parent 4c7b11f976
commit 6d21e073bb
3 changed files with 41 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
doc/html/assert.html
View File

@@ -723,6 +723,14 @@ the final executable for security reasons.</p>
</li>
</ul>
</div>
</div>
</div>
</div>
<div id="footer">
<div id="footer-text">
Last updated 2017-06-11 00:31:11 GTBDT
</div>
</div>
<style>
*:not(pre)>code { background: none; color: #600000; }
@@ -755,13 +763,5 @@ if( header )
}
</script>
</div>
</div>
</div>
<div id="footer">
<div id="footer-text">
Last updated 2017-06-10 22:03:49 GTBDT
</div>
</div>
</body>
</html>

32
doc/index-docinfo-footer.html Normal file
View File

@@ -0,0 +1,32 @@
<style>
*: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>

36
doc/index.adoc
View File

@@ -11,6 +11,7 @@ http://www.boost.org/LICENSE_1_0.txt
Peter Dimov
:toc: left
:idprefix:
:docinfo: private-footer
The Boost.Assert library provides several configurable diagnostic macros
similar in behavior and purpose to the standard macro `assert` from `<cassert>`.
@@ -32,38 +33,3 @@ 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].
++++
<style>
*: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>
++++