summaryrefslogtreecommitdiff
path: root/java/resources/IceGridAdmin/nsh.js
diff options
context:
space:
mode:
Diffstat (limited to 'java/resources/IceGridAdmin/nsh.js')
-rw-r--r--java/resources/IceGridAdmin/nsh.js48
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();
+ }
+ }
+