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