gecko-dev/webtools/litmus/js/Navigation.js

function nav_init() {
    myHeight = new fx.Height('instructions', {duration: 400});
    myHeight.hide();
}