Searched refs:HEADER_HEIGHT (Results 1 – 2 of 2) sorted by relevance
6 var HEADER_HEIGHT = -1; variable91 var windowHeight = ($(window).height() - HEADER_HEIGHT);144 HEADER_HEIGHT = $("#header").height()+3;234 var windowHeight = ($(window).height() - HEADER_HEIGHT);252 var windowHeight = ($(window).height() - HEADER_HEIGHT);
287 AudioPlayer.HEADER_HEIGHT = 33; // 32px + border 1px364 window.resizeTo(window.innerWidth, targetHeight + AudioPlayer.HEADER_HEIGHT);