$(document).ready(function(evt) {
	$("#a4tabs").tabs();
	
	// execute your scripts when the DOM is ready. this is mostly a good habit
	
	
	
	// initialize scrollable
	// $(".scrollable").scrollable();
	/*
	$("#download_now img[title]").tooltip();
	// $("a[title]").tooltip();
	$("#benchresults img[title]").tooltip();
	    
    $(".tableStyles tr:even").addClass('stripe1');
    $(".tableStyles tr:odd").addClass('stripe2');
    $(".tableStyles th").addClass('tableheader');
      
    $("a.selected").css("color","#b6d13c");
	*/
	/*
	$(".tableStyles tr").hover(
        function(){
            $(this).toggleClass("highlight");
        },
        function(){
            $(this).toggleClass("highlight");
        }
    )
    */
	/*
	$("href link").addClass('site_link');
    
	$("href visited").addClass('site_visited');
    
	
	$("href hover").hover(
        function(){
            $(this).toggleClass("site_hover");
        },
        function(){
            $(this).toggleClass("site_hover");
        }
    )
	*/
	// initialize scrollable together with the navigator plugin
	// initialize scrollable together with the navigator plugin
	// $("#browsable").scrollable().navigator();	

	// execute your scripts when the DOM is ready. this is mostly a good habit
	// initialize scrollable
	/*
	$(".scrollable").scrollable();
	*/


	
});



