cccs/eh14-infopage — pull request #1 by JanUlrich (2013-08-22 14:18:41+00:00)
Title: Fixing Nav-Bar

Die Navigationsbar markiert immer das falsche Element. Das liegt daran, dass $(window).height() einen falschen Wert liefert.
Das Problem trat wohl schonmal bei Jquery+Opera-Browser auf: http://bugs.jquery.com/ticket/3046
Falls das Problem nicht bald von JQuery behoben wird, kann man den vorläufigen Bugfix, welcher im JQuery-bugtracker vorgeschlagen wurde, mit diesem Pull-Request einbauen.