body { 
  background-color: white;
  color: black;
  line-height: 150%;
}

code { 
  font-family: fixed;
}

span.commented, acronym{ 
  text-decoration: underline;
  cursor: help
}


p.info, div.info {
  border: 1pt solid #888888;
  padding: 0.5ex;
  background-color: #FFFFCC;
  font-size: 80%;
  display: list-item;
  list-style: none inside url(images/warn.png);
  vertical-align: bottom;
}

.figure {
  border: 1pt solid #888888;
  padding: 4px;
  margin: 4px;
}

h1 {
  background-color: #8888FF;
  color: white;
  padding: 0.3ex;
  line-height: 110%;
}

h2 { 
  border: solid #888888; 
  border-width: 1px 1px 1px 16px;
  padding: 2pt 2pt 2pt 4pt;
  line-height: 110%;
}

h3 { 
  border: solid #BBBBBB; 
  border-width: 1px 1px 1px 16px;
  padding: 2pt 2pt 2pt 4pt;
  line-height: 110%;
}

dd {
  font: sans-serif;
}

dt {
  font: bold serif;
}

.copyright { 
  text-align: right;
  font-size: 60%;
}

.caption {
  font-weight: bold;
  background-color: #CCFFCC;
}

.disabled { 
  font-color: #888888;
}