ein kleiner Fix für den IE (getestet mit IE 7+8, FF 3), der die Seitengröße korrekt justiert (davor war im IE eine ewig lange Scrollleiste):
src/tools/js/onload.js
Line 91ff: (function fix_height)
L92: var hg = hg = document.documentElement.clientHeight;
L101: $('contentArea').style.height = (hg - 25 - $('top').getHeight()) + 'px';
Falls jemand suchen sollte 😉