jQuery(document).ready(function($){
   

    prettyPrint();

    $("#searchform").mouseover(function(){
        $(this).fadeTo('fast', 1.0);
    }).mouseout(function(){
        $(this).fadeTo('fast', 0.7);
    })

})