a { color: #336699; }
a:hover { color: #ffffff; background: #336699; text-decoration: none; }

body, .bdy { font-size: 100%; font-family: sans-serif; }

body {margin: 16px auto 16px auto;  text-align: center; max-width: 1024px; 
width: expression(this.offsetWidth > 1024 ? "1024px"  : this.offsetWidth);
}

/*body { margin: 4px 0px; padding: 0px; text-align: center; max-width: 1150px; 
width: expression(this.offsetWidth > 1150 ? "1150px"  : this.offsetWidth);
}*/

.bdy { color: black; }

code, pre { font-size: 100%; margin-top: 0px; margin-bottom: 0px; }

#cont20 { width: 94%; margin: 0px auto; text-align: left; padding: 0px; border: 0px solid #ffffff; background-color: #ffffff; }

.dtrm { font-family: monospace; border-left: 1px solid #000000; border-right: 1px solid #000000; }

.dtrm .matx { width: 0.3ex; border-top: 1px solid #000000; border-bottom: 1px solid #000000; }

.eqbd { color: #0000ff; }
.eqrf { color: orangered; font-family: monospace; }

form { margin-bottom: 0; }

.fs21 { font-size: 80%; }
.fsm1 { font-size: 1.5em; /*vertical-align : sub;*/ }

h1, h2, h3, h4, h5, h6 { line-height: 100%; margin-top: 0px; margin-bottom: 0px; display: inline; }

hr { color: #e0e0e0; background-color: #e0e0e0; height: 1px; }

.im1 {margin-right : 2em; vertical-align : middle;}

.mat1, .mat3 { color : blue; font-family : monospace; white-space : nowrap; }

.mat2 { border-bottom: 1px solid blue; }

.mat3 { color: black; }

.mat4 { border-bottom: 1px solid black; }

p { line-height: 100%; margin-top: 0px; margin-bottom: 0px; }

span.ovr_up1 { position: relative; left: -8px; vertical-align: 46%; }
span.ovr_up2 { position: relative; left: -8px; bottom: 8px; }
span.ovl { text-decoration: overline; }

sub { vertical-align: -0.8ex; }
/*sup { vertical-align: 1.0ex; }*/

table.bdc1, table.bdc2 { border-collapse: collapse; }
table.bdc2 { border: 1px solid white; border-style: hidden;}
table.bdc1 td, table.bdc2 td { border: 1px solid #c0c0c0; }

.tbl_fig { border: 1px solid #c0c0c0; float: left; margin-right: 4px; }

.tbl_fig_tit { background-color: #f0f0f0; font-size: 80%; padding: 2px; }