Searched refs:_height (Results 1 – 4 of 4) sorted by relevance
36 …_height){with(firebug){env.height=_height;el.left.container.environment.addStyle({"height":_height… argument
818 setHeight:function(_height){ argument820 env.height=_height;822 el.left.container.environment.addStyle({ "height":_height+"px" });823 el.right.container.environment.addStyle({ "height":_height+"px" });824 el.main.environment.addStyle({ "height":_height+38+"px" });825 el.mainiframe.environment.addStyle({ "height":_height+38+"px" });830 el.left.console.monitor.element.parentNode.style.height=_height-47+"px";831 el.left.console.mlButton.environment.addStyle({ "top":_height+19+"px" });832 el.right.console.mlButton.environment.addStyle({ "top":_height+19+"px" });833 el.right.console.input.environment.addStyle({ "height":_height-29+"px" });[all …]
204 _height: auto !important;
1069 _height: 10px; /*IE6 only*/