hr.blackline {
 border: 0;
 color: #000000;
 background-color: #000000;
 height: 1px;
}
hr.blackline75 {
 border: 0;
 color: #000000;
 background-color: #000000;
 height: 1px;
 width: 75%;
 margin-left:0; 
 margin-right:auto; 
}
.addr { font-size: 90%; }
.comm { font-size: 85%; } /* comm == comments*/
.cont1 { margin-left: 2em; } /* cont == content */
.divider1 {
  font-size: 130%;
  font-weight:bold;
  text-decoration: none;
}
h1  {
  font-size: 140%;
  font-weight: bold; 
  text-decoration: underline;
}
h2  {
  font-size: 120%;
  font-weight: bold;
  vertical-align: top;
}
h3 {
  font-size: 80%;
  font-weight: bold;
  margin-bottom: 0.05em;
  margin-top: 0.1em;
}
span.head1comment {
  font-size: 120%;
}
span.head1 {
  font-size: 140%;
  text-decoration: underline;
}
.indent { margin-left: 2em; }
.indent1em { margin-left: 1em; }
.links1 { margin-left: 2em; }
span.nav1 { 
  font-size: 84%; 
  font-weight: normal;
}
.page_header {font-weight: bold; font-size: 140%; }

.quote {
  font-size: 70%; 
  font-style: italic; 
  font-weight: bold;
}
.quote_smaller {
  font-size: 80%; 
  font-style: italic; 
  font-weight: bold;
}
.url1 { font-style: italic; }

a { text-decoration: none; }
a:link { color: #00aa00; }
/* A:vlink { color: #005000;  font-size: 90%;}*/
a:visited { color: #aa22bb; }
a:active { color: #35ff35; }
/* a:active { color: #aa22bb; } */


/* Style of link when mouse hovers over. */

/* Link is within "class" top or bottom. */
.top a:hover , .url1 a:hover { 
  text-decoration: underline;
}

/* Hovering over url:s within the links1 or cont1 "class". */

/* Visited */
.links1 a:visited:hover, .cont1 a:visited:hover, .nav1 a:visited:hover {
  background-color: #bb33cc;
  color: #dddddd; 
  font-weight: normal;
}

/* Unvisited */
.links1 a:hover, .cont1 a:hover, .nav1 a:hover { 
  background-color: #60bb60; 
  color: #dddddd;  
  font-weight: normal;
}

/*
a:hover { color: #dddddd; background-color: #60bb60; }
*/

/* Link is of class specurl */
a:hover.specurl { 
  background-color: #dddddd;
  color: #00aa00;
  text-decoration: underline; 
}

body { background-color: #dddddd;}