BODY {
  margin-left: 10px;
  margin-right: 10px;
  background: white;
}

BODY, P, H1, H2, H3, H4, TH, TD, A {
  font-family: tahoma,arial,helvetica,sans-serif;
}



PRE, CODE, KBD, SPAN.key, SPAN.buffer {
  font-family: "lucida console",courier,monospace;
}


SPECIAL {
  font-family: "Times New Roman";
  font-style: italic;
}


PRE {
  font-size: 80%;
}

PRE.big {
  font-size: 100%;
}

P {
  text-align: justify;
}

H1, H2, H3, H4, .synopsis P, P.margin, TH {
  text-align: left;
}

H2.authors {
  text-align: center;
  line-height: 130%;
}

H3.authors {
  text-align: right;
  color: #000000;
}

H1     { color: #C7700000; }
H2     { color: #C7700000; }
H3, H4 { color: #C7700000; }


H1 {
  text-align: center;
  font-size: x-large;
  line-height: 130%;
  margin-bottom: 15px;
  margin-top: 15px;
}

achtung {
  border: thick solid #ffcc33;
  padding: 10px;
}

.allcaps {
  font-size: 80%;
}

red {
  color: #C7700000;
}




--a: link {
 color: bottom;
}



a:visited {
  color: #990099;
}

.ignore {
  display: none;
}


div.main {
  color: #333333;
  margin-left: 20px;
  width: 750px;
  line-height: 130%;
}

div.footer {
  color: #333333;
  font-size: small; 
  margin-top: 15px;
  margin-left: 20px;
  width: 550px;
}

BODY, span.navbar-header, span.navbar-items, span.navigation {
  font-family: tahoma,arial,helvetica,sans-serif;
}

span.navbar-header {
  font-size: small;
  line-height: 120%;
color: #ffffff
}

span.navbar-items {
  font-size: small;
  line-height: 120%;
}

td.navbar-item {
  font-size: small;
  line-height: 120%;
}

a.navbar { 
  text-decoration: none;
} 

a.hint { 
  color: #C7700000;
}

span.navigation {
  font-size: small;
  font-weight: bold;
}