diff --git a/doc/html/header.txt b/doc/html/header.txt index b1c296c7c17a21e1576852ac9385bd228cf85ef6..012def183d49474e2f1143cdb92fd66cc8352a68 100644 --- a/doc/html/header.txt +++ b/doc/html/header.txt @@ -7,7 +7,7 @@ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> <meta http-equiv="Pragma" content="no-cache"> <meta http-equiv="keywords" content="Simple Linux Utility for Resource Management, SLURM, resource management, -Linux clusters, high-performance computing, Livermore Computing"> +Linux clusters, high-performance computing"> <meta name="description" content="Simple Linux Utility for Resource Management"> <title>Simple Linux Utility for Resource Management</title> <link href="linuxstyles.css" rel="stylesheet" type="text/css"> @@ -21,6 +21,21 @@ Linux clusters, high-performance computing, Livermore Computing"> customSearchControl.setResultSetSize(google.search.Search.SMALL_RESULTSET); customSearchControl.draw('cse'); }, true); + +function window_check () +{ + obj = document.getElementById('navigation'); + if ((window.innerWidth>=800) && (window.innerHeight>=700) && + (screen.width>=800) && (screen.height>=700)) { + obj.style.position = 'fixed'; + } else { + obj.style.position = 'absolute'; + } +} + +window.onload = window_check; +window.onresize = window_check; + </script> </head> diff --git a/doc/html/linuxstyles.css b/doc/html/linuxstyles.css index 730856fb08bbfa9db1bcbca38fd01ae56e988254..947341d1a298df9dcd08a17ae3b6b9881f03be64 100644 --- a/doc/html/linuxstyles.css +++ b/doc/html/linuxstyles.css @@ -82,7 +82,6 @@ IMG.displayed { border-color:#066cb2; border-style:solid; display:table-cell; - position:fixed; } /* The main text of the page */