/*
 * NOTE: Konqueror 2.1.1 ignores margin-top from an external stylesheet
 *       Opera doesn't handle subclasses with "_" in their name
 */
body { background : white;
       color      : black;
       font-face  : Verdana, Arial, Helvetica, sans-serif;
       font-size  : 10pt; }

h1 { color: #191970; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold}
h2 { color: #191970; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12pt; font-weight: bold}
h3 { color: black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: bold}

/*
 * Links
 */
a:link       { color: #0000CD; text-decoration: none; border-bottom: 1px solid #CCCCCC }
a:visited    { color: #0000CD; text-decoration: none; border-bottom: 1px solid #CCCCCC }
a:active     { color: #C71585 }
/* a:hover      { color: #996666 } */
a:hover      { color: #0000CD; background: #E0E0E0; text-decoration: none } /* ; border-bottom:1px solid #000066; border-top:1px solid #000066 */
/* font for anchors within table cells */
td a { font-family: Arial, Helvetica, sans-serif; font-size: 10pt }
/* Different colors for anchors within level 2 headers */
h2 a:link    { color: #191970 }
h2 a:visited { color: #191970 }
h2 a:hover   { color: #191970; background: #E0E0E0 }
a.nav        { color: #191970; font-weight: bold; text-decoration: none; border-bottom : none }
a.nav:visited { color: #191970 } /* necessary for IE? a:visited.nav = same? */
a.nav:hover  { color: white; background: #191970 }
a.linkentry  { color: #191970; text-decoration: none; font-family: Arial, Helvetica, sans-serif; font-size: 8pt; border-bottom: none; font-weight: normal }

/* The ol, ul here is for Netscape 4.77 - others don't need it and apply the style for li correctly */
p, div, li, ol, ul   { font-family: Arial, Helvetica, sans-serif; font-size: 10pt }
li           { margin-top: 6pt }
pre          { font-family: Courier, monospace; font-size: 10pt }
/* address      { font-style: italic } */
dd           { margin-top: 0.5em }

pre.code      { margin-left: 10pt; font-size: 9pt; margin-bottom: 1em }
ul.disc       { list-style-type: disc; list-style-position: outside }
ul.linklist   { list-style-type: none }
/* navxxx: text-align: left? */
div.navtop    { color: #191970; text-align: right; border-bottom: 1px solid #191970 } /* Opera 5 doesn't like "nav_top" and "nav_bottom" !? */
div.navbottom { color: #191970; text-align: right; border-top:    1px solid #191970; margin-top: 2em; margin-bottom: 0.5em }
td.navbottom  { color: #191970; font-family: Arial, Helvetica, sans-serif; font-size: 10pt }
p.counter     { margin-top: 2em; font-style: italic; text-align: right }
tr.linkthead  { background: #191970; color: white; font-family: Arial, Helvetica, sans-serif; font-size: 10pt }

/* Opera 5 does not seem to apply framed_block if it isn't directly stated in the <div> tag */
.framed_block { margin-left:30px;margin-right:50px;margin-top:2em;margin-bottom:2em;text-align:justify;border-style:solid;border-width:1px;padding:0px 5px 5px }
.newsdate { margin-left:10px; font-style: italic; margin-bottom: 0 }
.news     { margin-left:20px; margin-top: 0; margin-bottom: 1em }
.date     { text-align: right; font-size: 8pt; line-height: 11pt; margin-top: 0 }
.largetopmargin { margin-top: 2em }
.linkentry  { color: #191970; text-decoration: none; font-family: Arial, Helvetica, sans-serif; font-size: 8pt; border-bottom: none; font-weight: normal }


#indented { margin-left: 10pt }
#indented2 { margin-left: 10pt; color: #191970 }

/* ------------------------------------------------------------------------
 * Some knowledge on style sheets:
 *
 * independent format
 * ------------------
 *
 * style definition:
 * #italic { font-style : italic }
 * usage:
 * <tag id="italic">This text has style italic</tag>
 *
 * nested formats
 * ----------------------
 * NOTE: Mozilla 0.9.2 seems not to understand those,
 *       Netscape 4.77 does, as do Konqueror 2.1.1 and Opera 5
 *
 * style definition:
 *   tag1 tag2 { style-def }
 * effect:
 *   style will only be applied to tag2 if it is within tag1
 * (i.e., <tag1><tag2>the style applies here</tag2></tag1>
 * ------------------------------------------------------------------------ */