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

Remove javascript that tried to integrate the Boost banner, as it didn't work

Browse Source
This commit is contained in:
Peter Dimov
2017-06-16 19:35:29 +03:00
parent 4ea0732016
commit 719ec039a2
1 changed files with 0 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
doc/index-docinfo-footer.html
View File

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