.menu-vertical a:active, .menu-vertical a:hover {
    border-left: solid 3px #888888;
    border-top: solid 3px #666666;
    border-right: solid 3px #cccccc;
    border-bottom: solid 3px #eeeeee;
    background: #999999;
    padding: 3px; /* this slightly changes the spacing of the text to help with the push effect */
	font-size:10px;
}
.menu-vertical {
    margin: 0px;
    padding: 2px;
    list-style: none;
}
.menu-vertical li { 
margin-bottom: 0px; 
}
.menu-vertical a:link, .menu-vertical a:visited {
	display: block;
	width: 80px;
	color: #000000;
	border-left: solid 3px #cccccc;
/* the borders can be defined separately */	
	border-top: solid 3px #eeeeee;
	border-right: 3px #14687c solid;
	border-bottom: 3px #14687c solid;
	background: #7CCBE9;
	text-align: center;
	padding: 2px 3px 4px 3px;
	text-decoration: none;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	right: auto;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-weight: bold;
}
.menu-vertical a:hover, .menu-horizontal li.selected a{
background-color: #B6B6B6; /*background of tabs for hover state, plus tab with "selected" class assigned to its LI */
}