Use documentElement.clientHeight for determining zoom box maximum height

This commit is contained in:
Davide P. Cervone 2011-09-27 17:08:21 -04:00
parent f3b1f4102f
commit 3e5b2244ef
10 changed files with 18 additions and 18 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@ -130,7 +130,7 @@
// Create the DOM elements for the zoom box
//
var Mw = Math.floor(.85*document.body.clientWidth),
Mh = Math.floor(.85*document.body.clientHeight);
Mh = Math.floor(.85*Math.max(document.body.clientHeight,document.documentElement.clientHeight));
var div = HTML.Element(
"span",{
style: {position:"relative", display:"inline-block", height:0, width:0},