body {
  color: black;
  background-color: #ccccff;
  margin-left: 5%;
  margin-right: 5%
}

P { 
/*   text-align: justify; */
 }

P#listpar { 
  text-indent: -3em; 
  margin-left: 3em;
  margin-top: -0.75em
 }

P.subnavbar { 
  font-size: 85%;
  color: navy;
  activecolor: navy;
  margin-top: -0.85em;
  padding-bottom: 3px;
 }

TABLE.navbar { 
  font-size: 85%;
}

P.navbar { 
  color: navy;
  activecolor: navy;
  margin-top: 1.7em;
  padding-bottom: 3px;
  border-bottom: solid thin navy;
 }

P.botnavbar { 
  color: navy;
  activecolor: navy;
  margin-bottom: 1.7em;
  padding-top: 3px;
  border-top: solid thin navy;
 }


A.navbar:visited { color: blue; text-decoration: none }
A.navbar:link    { color: blue; text-decoration: none }
A.navbar:active  { color: blue; text-decoration: none }

/* A:visited#navbar { color: blue; text-decoration: none } */
/* A:link#navbar    { color: blue; text-decoration: none } */
/* A:active#navbar  { color: blue; text-decoration: none } */

A.navcat:visited { color: blue; text-decoration: none }
A.navcat:link    { color: blue; text-decoration: none }
A.navcat:active  { color: blue; text-decoration: none }

DT#faq { 
  margin-top: 1em;
  font-style: italic;
}
DD#faq { 
  margin-top: 0.33em;
  margin-bottom: 0;
}

DL#news { 
  margin-top: 0.33em;
  margin-bottom: 0;
}
DT#news { 
  margin-top: 0.33em;
}

DD#papersummary { 
  font-size: 85%;
  margin-top: 0.33em;
}
DT#papersummary { 
  margin-top: 1em;
}

SUB#inline { 
  vertical-align: -15%;
  font-size: 85%
 }
SUP#inline { 
  vertical-align: 40%;
  font-size: 85%
 }

SUB { 
  vertical-align: -33%;
  font-size: 85%
 }
SUP { 
  vertical-align: 66%;
  font-size: 85%
 }