body {
  background-color: #fff;
}

div.floatright {
  float: right;
  width: 40%; 
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
  text-align: left;
}
p { 
  text-indent: 1em;
}
p.caption {
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}
img.float {
  width: 100%;
  border: 0;
}

pre, tt, code { font-family: courier,sans-serif }

span.center { text-align: center }
span.boxspace { font-size: 2pt; }


a:link {
  color: #990000;
  text-decoration: none;
}

a:link.blend { color: #000 }

a:visited {
  color: #666666;
  text-decoration: none;
}

a:visited.blend { color: #000 }

a:hover {
  color: #990000;
  text-decoration: underline;
}

a:active {
  color: #990000;
  text-decoration: underline;
}

li.wide {
  line-height: 140%
}

.titledbox {
  margin: 3px;
/*
  border-style:solid;
  border-width:1px; 
  border-color:black; */

}

.titledbox a {
  background-color:transparent;
}

.titledbox h1 {
  font-weight:bold;
  font-size:1.2em;
  margin-top: 0;
  margin-bottom: 0;
  padding:0.1em 0.5em;
  color:#ffffff;
  background:#990000;
}

.titledbox h1 a {
  color:#ffffff;
  background-color:transparent;

}

.titledbox h2 {
  font-weight:bold;
  font-size:1em;
  margin:0px;
  margin-top: 0;
  padding-top: 0;
  padding:0px;
  padding-left:1em;
}

.titledbox h3 {
  margin:0px;
  padding:0px;
  font-weight:bold;
  font-size:1em;
  padding-left:1em;
}

.titledbox p {
  font-size:1em;
  font-weight:normal;
  margin:0px;
  padding:0px;
  padding: 0 0 1ex 1em;
}

.titledbox ul { 
  font-weight:normal;
  margin-top: 0;
  padding-left: 1.5em;
  margin: 0; /* Without this IE indents the lines a lot, Moz does not care much either way.*/
}

.titledbox li { 
  background:#fff;
  line-height: 140%;
  padding: 0;
  margin: 0;

}

.leftcolumn { 
  width:33%;
  float:left;
  padding: 0;
 }

.centercolumn { 
  width:34%;
  float:left;
  padding: 0;
}

.rightcolumn { 
  width:33%;
  float:right;
  padding: 0;
}

.function-name {
  /* font-lock-function-name-face */
  color: #ff0000;
}
.keyword {
  /* font-lock-keyword-face */
  color: #8b0000;
  font-weight: bold;
}
.reference {
  /* font-lock-reference-face */
  color: #cd0000;
  font-weight: bold;
}
.type {
  /* font-lock-type-face */
  color: #4682b4;
}
.variable-name {
  /* font-lock-variable-name-face */
  color: #8b008b;
}