feedc0de/boost_smart_ptr
1
0
Fork 0
forked from boostorg/smart_ptr
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:32:35 +03:00
parent 2964ed2379
commit 6d97c2b89e
1 changed files with 0 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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