/* style sheet for larger font sizes */
body {font-size: 86%}
.menu li ul.house {left: 102px; top: -4px}
.menu li {font-size: 10pt; background-image: url("../images/misc/menu_bg_l.png")}
.menu li:hover > a {background-image: url("../images/misc/menu_bg_hover_l.png")}
a.size1{font-size: 1.0em; padding: 0.3em; text-decoration: none}
a.size2{font-size: 1.4em; padding: 0.3em; text-decoration: underlined}
a.size3{font-size: 1.8em; padding: 0.3em; text-decoration: none}
* html .menu a:hover {border:#002469 1px solid; color: #002469; position: relative; background-color: #ffffff; background-image: url("../images/misc/menu_bg_hover_l.png"); text-decoration: underline}