638       height: videoHeight,  property
896     $("#swapper").css({height:navHeight + "px"});  property
898       $("#nav-tree").css({height:navHeight});  property
907       $("#resize-packages-nav").css({height:navHeight - 10}); //subtract 10px for drag bar  property
908       $("#packages-nav").css({height:navHeight - 10});  property
911     $("#classes-nav").css({'height':classesHeight, 'margin-top':'10px'});  property
912     $("#classes-nav .jspContainer").css({height:classesHeight});  property
1161       $(el).css({height:height+'px', position:'relative'});  property
1309       .css({'height':$("#nav-tree .jspContainer .jspPane").height() +'px'});  property
1531          li.css({width: li.width(), height: li.height()});  property
1646  function height(el) {  function
1749  function height(el) {  function
3614                 'height': $widget.height() + 'px' };  property
4164             $this.parent().css({'height': adjustedRemainingHeight});  property
4165             $this.css({'height': "auto"});  property