body { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; } .info { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%; } .title { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 200%; line-height: 30px; font-weight: bold; color: #000000; margin-top: 0px; margin-bottom: 2px; } a.menu { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%; line-height: 18px; text-decoration: none; color: #0000FF; white-space:nowrap; } a { font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none; color: #0000FF; } a:hover { color: #C81900; } a.menu { margin-right: 1em; } .menutitle { color: #C81900; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; white-space:nowrap; } a.menu:hover { color: #C81900; } a.menuselect { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%; line-height: 18px; text-decoration: none; color: #0000FF; white-space:nowrap; color: #C81900; font-weight: bold; margin-right: 1em; } a.menuselect:hover { font-weight: bold; color: #C81900; } /* Indentation for the left side menu */ div.sidemenu { margin-left: 0.2in; } blockquote.code { margin-left: 2em; margin-right: 2em; padding-left: 0.5em; padding-right: 0.5em; padding-top: 0.5em; padding-bottom: 0.5em; background: #F0F0F0; white-space: pre; font-family: "Courier New", Courier, monospace; } dl dt { font-weight: bold; }