2011-07-08 15:32:28 +02:00
|
|
|
/*
|
|
|
|
To the extent possible under law, Niels Serup has waived all copyright and
|
|
|
|
related or neighboring rights to this file. This file is available under the
|
|
|
|
Creative Commons Zero 1.0 license, see
|
|
|
|
http://creativecommons.org/publicdomain/zero/1.0/
|
|
|
|
|
|
|
|
This JavaScript file contains trivial code. It is required for aesthetic
|
|
|
|
reasons only. Not loading it will not make a website depending on it less
|
|
|
|
functional.
|
|
|
|
*/
|
|
|
|
|
|
|
|
get_window_size = function() {
|
2011-07-07 00:13:47 +02:00
|
|
|
if (window.innerHeight)
|
|
|
|
return [window.innerHeight, window.innerWidth];
|
|
|
|
else if (self.innerHeight)
|
|
|
|
return [self.innerHeight, self.innerWidth];
|
|
|
|
else if (document.documentElement && document.documentElement.clientHeight)
|
|
|
|
return [document.documentElement.clientHeight,
|
|
|
|
document.documentElement.clientWidth];
|
|
|
|
else if (document.body)
|
|
|
|
return [document.body.clientHeight, document.body.clientWidth];
|
2011-07-08 15:32:28 +02:00
|
|
|
};
|
2011-07-07 00:13:47 +02:00
|
|
|
|
2011-07-08 15:32:28 +02:00
|
|
|
is_screen_media = function() {
|
2011-07-07 00:13:47 +02:00
|
|
|
return (document.getElementsByTagName('link')[0].getAttribute('media').indexOf(
|
|
|
|
'screen') != -1 || (document.styleSheets &&
|
|
|
|
(document.styleSheets[0].media.mediaText.indexOf(
|
|
|
|
'screen') != -1 || document.styleSheets[0].media.indexOf(
|
|
|
|
'screen') != -1)));
|
2011-07-08 15:32:28 +02:00
|
|
|
};
|
2011-07-07 00:13:47 +02:00
|
|
|
|
2011-07-08 15:32:28 +02:00
|
|
|
set_min_height = function() {
|
2011-07-07 00:13:47 +02:00
|
|
|
if (!is_screen_media())
|
|
|
|
return;
|
|
|
|
var ws, wh, ww, h
|
|
|
|
ws = get_window_size()
|
|
|
|
wh = ws[0]
|
|
|
|
ww = ws[1]
|
|
|
|
|
|
|
|
h = metadiv.offsetHeight + 15
|
|
|
|
metadiv.style.position = 'absolute'
|
|
|
|
metadiv.style.bottom = '5px'
|
|
|
|
metadiv.style.width = (bodydiv.offsetWidth - 22) + 'px'
|
|
|
|
bodydiv.style.paddingBottom = h + 'px'
|
|
|
|
|
|
|
|
h = wh - h - menudiv.offsetHeight - 145
|
|
|
|
bodydiv.style.minHeight = h + 'px'
|
2011-07-08 15:32:28 +02:00
|
|
|
};
|
2011-07-07 00:13:47 +02:00
|
|
|
|
|
|
|
window.addEventListener('load', function(event){
|
|
|
|
menudiv = document.getElementById('menu');
|
|
|
|
bodydiv = document.getElementById('body');
|
|
|
|
metadiv = document.getElementById('metadata');
|
|
|
|
set_min_height();
|
|
|
|
}, false);
|