diff options
Diffstat (limited to 'java/resources/IceGridAdmin/nsh.js')
-rw-r--r-- | java/resources/IceGridAdmin/nsh.js | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/java/resources/IceGridAdmin/nsh.js b/java/resources/IceGridAdmin/nsh.js index 9d138be2ca1..669e3f8bf28 100644 --- a/java/resources/IceGridAdmin/nsh.js +++ b/java/resources/IceGridAdmin/nsh.js @@ -1,24 +1,24 @@ - function doResize() {
- var clheight, headheight;
- if (self.innerHeight) // all except Explorer
- { clheight = self.innerHeight; }
- else if (document.documentElement && document.documentElement.clientHeight) // Explorer 6 Strict Mode
- { clheight = document.documentElement.clientHeight; }
- else if (document.body) // other Explorers
- { clheight = document.body.clientHeight; }
- headheight = document.getElementById('idheader').clientHeight;
- if (clheight < headheight ) {clheight = headheight + 1;}
- document.getElementById('idcontent').style.height = clheight - document.getElementById('idheader').clientHeight +'px';
- }
-
- function nsrInit() {
- contentbody = document.getElementById('idcontent');
- if (contentbody) {
- contentbody.className = 'nonscroll';
- document.getElementsByTagName('body')[0].className = 'nonscroll';
- document.getElementsByTagName('html')[0].className = 'nonscroll';
- window.onresize = doResize;
- doResize();
- }
- }
-
\ No newline at end of file + function doResize() { + var clheight, headheight; + if (self.innerHeight) // all except Explorer + { clheight = self.innerHeight; } + else if (document.documentElement && document.documentElement.clientHeight) // Explorer 6 Strict Mode + { clheight = document.documentElement.clientHeight; } + else if (document.body) // other Explorers + { clheight = document.body.clientHeight; } + headheight = document.getElementById('idheader').clientHeight; + if (clheight < headheight ) {clheight = headheight + 1;} + document.getElementById('idcontent').style.height = clheight - document.getElementById('idheader').clientHeight +'px'; + } + + function nsrInit() { + contentbody = document.getElementById('idcontent'); + if (contentbody) { + contentbody.className = 'nonscroll'; + document.getElementsByTagName('body')[0].className = 'nonscroll'; + document.getElementsByTagName('html')[0].className = 'nonscroll'; + window.onresize = doResize; + doResize(); + } + } + |