BODY {
  background: #FFFAFA;
  color: black;
  margin-left: 3%; margin-right: 3%;
  margin-top: 2%; margin-bottom: 3%;
  font-family: "Helvetica", sans-serif;
}

FONT {
  font-family: "Helvetica", sans-serif;
}

TD, TH {
  font-family: "Helvetica", sans-serif;
}

DL {
  font-size: small;
}

H1 {
  font-family: arial, helvetica, sans-serif;
  font-size:  Large; 
  color: #8B008B; background: silver;
  padding-left: 5;
  padding-top: 3;
  margin-left: -5;
  margin-top:     0.5em;
  font-weight: bold;
}
H2 {
  font-family: arial, helvetica, sans-serif;
  background: #DCDCDC;
// #FFFAFA;
  padding-left: 5;
  padding-top: 3;
  font-size: large;
  color: #8B0000;
  margin-left: -5;
  margin-top:     0.5em;
  margin-bottom:  0.25em;
}
H3 {
  font-family: arial, helvetica, sans-serif;
  font-size: normal;
  background: #FFFAFA;
  color: #B22222;
}

H4 { font-family: arial, helvetica, sans-serif;}
H5 { font-family: arial, helvetica, sans-serif;}
H6 { font-family: arial, helvetica, sans-serif;}

ADDRESS {
  text-align: right;
  font-style: italic;
  font-family: "Helvetica", sans-serif;
  margin-left: 4%;
  margin-right: 4%;
}

TABLE {
  margin-left: 0%;
  margin-right: 0%;
}

/*
:link {
  color: #AA1907;
  background: #F5F5F5;
}
:visited {
  color: #6A605F;
  background: #F5F5F5;
}
:active {
  color: #800080;
  background: #F5F5F5;
}
*/
            
.barlink {
  font-family: arial, helvetica, sans-serif;
  font-size: .75em;
  font-weight: bold;
  color: #FFFFFF;
  background: #F5F5F5;
  text-decoration: none;
}

.navlink {
  font-family: arial, helvetica, sans-serif;
  font-size: .75em;
  font-weight: bold;
  text-decoration: none;
}

.navlinkbig {
  font-family: arial, helvetica, sans-serif;
  font-size: .85em;
  font-weight: bold;
  text-decoration: none;
}

HR {
  margin-top:     .75em;
  margin-bottom:  .75em;
  width: 100%;
}

LI {
  padding-top:    0em;
  padding-bottom: 0.25em;
}

span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
span.LATEX span.TEX{ position:relative; left: -0.4em; }