body { 
  background: #ff9966; 
  margin: 0px;
  padding: 20px;
}

a:hover {
  background: beige;
}

a.def {
  border-bottom: 1px dotted;
  text-decoration: none;
}

h1 {
  margin-top: 0px;
}

#pageindex {   /* Lijst met onderwerpen */
  font-size: 18px;
  list-style: none;
}

p.menuexpl {
  font-size: 14px;
  margin-top: 0;
  margin-left: 20px;
  margin-bottom: 10px;
}

#content {
  background: #ffcc99;
  padding: 20px;
}

#footnote {    /* Copyright notice, last updated, etc. */
  font-size: 9px;
	font-weight: bold;
	text-align: center;
	line-height: 12px; 
}

.hidden {
  display: none;
}

table {
  border-left: 1px solid black;
  border-bottom: 1px solid black;
}

th {
  border-top: 1px solid black;
  border-right: 1px solid black;
  border-spacing: 0px;
  text-align: left;
  padding: 5px;
  spacing: 20px;
}

td {
  border-top: 1px solid black;
  border-right: 1px solid black;
  border-spacing: 0px;
  vertical-align: top;
  padding: 5px;
  spacing: 20px;
}

code.code {
  display: block;
  white-space: pre;
}

code.filename {

}

code.variable {
  font-style: italic;
}

code.command {
}

code.output {
  font-weight: bold;
  color: blue;
}