jQuery(function() {
    // disable permanent dotted borders around links:
    jQuery('a').click(function() { this.blur(); });
    // no white separator line after the last menu point:
    jQuery('#mainmenu li:last-child a').css('padding-right', '0px');
    // initializing the menu point images:
    jQuery('#mainmenu a').each(function(){
        jQuery(this).html('<img src="/img/'+jQuery(this).attr('name')+'.gif" border="0">');
    });  
    // creating menu hover effect: replacing images:
    jQuery('#mainmenu a img').hover(function(){
        jQuery(this).attr('src', '/img/'+jQuery(this).parent().attr('name')+'-over.gif');                       
    },function() {
        jQuery(this).attr('src', '/img/'+jQuery(this).parent().attr('name')+'.gif');                       
    });
});