/** THDE.PRO js functions **/
function setSummaryHyperlink() {
    $("#content .summary").hover(
            function () {$(this).addClass("over"); },
            function () { $(this).removeClass("over"); }
    );
    $("#content .summary").click(
        function () { window.location.href = $(this).find("a").attr("href"); }
    );
}