#header, .header {width:100%; background-color:#01017D; color:#FFFFFF; height:105px}

/*#biblio {height:7ex; overflow:hidden; border-top-style:solid; border-top-width:2px; border-top-color:#800000; margin-top:1ex;}
#biblio p {font-size:80%}*/

.rbor {border-right-width:medium}
.bbor {border-right-width:medium; border-left-width:medium}
.lbor {border-left-width:medium}

.illus {float:right; max-width:280px; margin-left:0.2em; margin-bottom:0.5ex; margin-right:0.5em; text-align:right}
.figr {float:right; width:220px; margin:0.5ex 0.5em 0.5ex 0.8em; text-align:right}
.figl {float:left; width:220px; margin:0.5ex 0.8em 0.5ex 0.5em;  text-align:left}

#main {overflow-x:auto; overflow-y:scroll; height:610px}

hr {background-color:#C00000; color:#800000; width:medium}

tt {font-size:1.1em; font-weight:normal}

h1 {font-size:1.2em;}
h2 {font-size:1em; font-variant:small-caps; padding-left:0.5ex; padding-top:3ex}
#mainidx h2, #filelist h2 {font-size:1em; font-variant:normal}
#mainidx h2 {padding:0}
#filelist h2 {padding:1ex 0.8ex}
h3 {font-size:.95em; font-variant:small-caps; padding-left:0.5ex;}
#mainidx h3 {font-size:.95em; font-variant:normal; padding:0}
h4 {font-size:.9em; color:#000000; padding:0}
h4.head {font-size:.9em; color:#FFFFFF; background-color:#F00000; width:100%; padding:0.2ex 0 0.4ex 0.5ex; clear:both;}
h5 {font-size:.85em;}
h6 {font-size:.8em;}

/*a:link {color:#193DA9; text-decoration:none}
a:visited {color:#FF0000; text-decoration:none}
a:hover {color:#0000FF; text-decoration:underline}
a:active {color:#193DA9; text-decoration:none; font-style:italic}*/

a.but {background-color:#F00000; border-width:2px; border-style:solid; border-color:#01017D; text-align:center; text-decoration:none; font-weight:bold; padding:0.2ex 0.4ex; margin-right:0.3em}
a.but:link {color:#FFFFFF}
a.but:visited {color:#FFFFFF; font-style:italic}
a.but:hover {color:#0000BD}
a.but:active {color:#193DA9}

#printtop, #printbot, #printbut {margin-left:1.2em}

#logo {margin-bottom:0; float:right; padding:0.3ex; padding-bottom:0; background-color:#01017D; border:none; vertical-align:middle}

h4 a {text-decoration:none}
h4 a:link {color:#FFFFFF}
h4 a:visited {color:#FFFFFF}
h4 a:hover {color:#193DA9}
h4 a:active {color:#EEF2F6}

/*.break, #filelist {background-color:#E9E9E9; padding:0.1ex 0.5ex}*/
.break, #filelist {background-color:#EEF2F6; padding:0.1ex 0.5ex}
.break p, p.break {text-align:left}
.break {margin-bottom:1ex}

#filelist {padding:0.1ex 1ex; max-width:1080px}
#filelist p {padding-left:1ex}
#filelist ul {list-style-type:none; font-family:monospace}
#filelist ul li {padding:0.5ex 0}

.figr p {text-align:right}
p .caption {line-height:2.2ex}
.figr p .caption {line-height:2.2ex; text-align:right}
.figl p .caption {line-height:2.2ex; text-align:left}

sup, sub {font-size:60%}
blockquote {background-color:#EEF2F6; border-left-style:dashed; border-left-width:medium; border-left-color:#C0C0C0; padding:0.5ex; clear:both}
blockquote p {padding:0 0.5ex}

#comb2-2-18, #sect3-9-3, #sect8-2-6-4, #sect8-2-4 {border-bottom-color:#F00000; border-bottom-width:18px; border-bottom-style:solid; margin-bottom:3ex}

h2 > em {font-weight:normal}