.menu { padding: 0; margin: 0 0 0 0; list-style: none; border-top: solid 1px #2f507f; width: 110; font-weight: bold; font-size:10; text-align:left;  font-family: tahoma, arial, helvetica, sans-serif; font-size:10pt;}

            .menu a { text-decoration: none; display: block; color: #111111; padding-top:4px; padding-bottom:4px; padding-left:10px; padding-right:4px;}

            .menu li { background-color: #FFFFFF; border: solid 1px #2f507f; border-top: none; position: relative; display: block; width: 108px; vertical-align: bottom; }
            .menu a:hover { color: #FFFFFF; background-color: #7590B9; }
            .menu ul { z-index:1; border-top: 1px solid #2f507f; visibility: hidden; width: 110; position: absolute; top: -1px; left: 108px; list-style: none; margin: 0; padding: 0; }        
            
            .menu .stub { background: url('../pic/pfeil.gif') 97px center no-repeat; }
        
			.example { padding: 5px 20px 20px 20px; margin: 15px 80px 0 0; border: 1px solid #999999; overflow: auto; }

	    .menu a.act {color: #FFFFFF; background-color: #2f507f; } /* ie needs extra color assignment on frontend */