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

a:hover {
  background: beige;
}

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

h1 {
  margin-top: 0px;
}

span {
  background-color: yellow;
}

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

p.story {
  white-space: pre;
}

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

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

.img {
  padding-left: 30px;
}

.pic {
  float: right;
  padding-left: 30px;
  padding-bottom: 30px;
}

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

.hidden {
  display: none;
}