a { color: #000080; text-decoration: none; }
a:hover { color: #663366; text-decoration: underline; }

code, pre, .mono, .eqrf_c, .mat1 { font-family : "Lucida Console", monospace; font-size: 16px; margin-top: 0px; margin-bottom: 0px; }

.eqrf_c { color: orangered; }

form { margin-bottom: 0; }
body, .def { font-family: sans-serif; }
body { margin: 16px auto 16px auto; width: 80%; max-width: 800px; padding: 0px; }
h1, h2, h3, h4, h5, h6 { line-height: 100%; margin-top: 0px; margin-bottom: 0px; display: inline; }
hr { color: #c0c0c0; background-color: #c0c0c0; height: 1px; }
.im1 {margin-right : 2em; vertical-align : middle;}
.mat1 { white-space : nowrap; }
.mat2 { border-bottom: 1px solid black; }
sub { vertical-align: -0.8ex; }
.sp80 { display: inline-block; width: 80%; vertical-align : middle; }
span.ovl { text-decoration: overline; }
table.tab1 { border-collapse: collapse; }
table.tab1 td { border: 1px solid #c0c0c0; }