/* Definition of top menu */
.top_menu{width: 100%; height: 20px; background: transparent url('../../style/images/top_menu_back.png') repeat-x; font-family : Verdana; font-size :12px;}
.top_menu ul{ margin: 0; padding: 0; float: left;}
.top_menu ul li{ display: inline;}
.top_menu ul li a{height: 20px; float: left; text-decoration: none; color: #424143; padding: 3px 10px; background: transparent url('../../style/images/top_menu_normal.png') repeat-x; }
.top_menu ul li a:visited{ color: #424143;}
.top_menu ul li a:hover, .menu ul li .current{ height: 20px; color: #424143; background: transparent url('../../style/images/top_menu_hover.png') repeat-x; font-weight:normal;}
#active_top_menu {display: block; height: 20px; background: transparent url('../../style/images/top_menu_active.png') repeat-x; font-weight:normal;}
#top_menu_image {float: right; clear: right; margin-right: 24px; margin-top: 0px; border: 0px; width: 20px;}