body {
  font-family: sans-serif;
  font-size: small;
}

input {
  border: 1px solid silver;
}

h1, h2, h3  {
  font-weight: normal;  
  letter-spacing: 0.1em;
}

h1 {
  margin: 0;
  border-bottom: 1px solid silver;
}

h2, h3 {
  border-bottom: 1px dotted silver;
  clear: both;
}

a {
  color: darkred;
}

a:hover {
  color: firebrick;
}

p {
  margin: 0;
  margin-top: 0.5em;
  width: 50em;
}

pre {
}

#foot {
  margin-top: 3em;
  background: beige;
  font-size: x-small;
  padding: 0.5em;
}

#search {
  position: absolute;
  top: 0.3em;
  right: 0.3em;
  background: beige;
  padding: 0.5em;
}

#menu, #menu li {
  list-style: none;
  margin: 0;
  padding: 0;
}

#menu {
  margin-bottom: 1em;
}

#menu li {
  display: inline;
}

#menu a {
  text-decoration: none;
  margin-left: 0.5em;
}

.a {
  font-weight: bold;
  display: inline;
}

.t {
  font-style: italic;
  display: inline;
}

.d {
  width: 50em;
  margin: 1em;
}
.d dt {
  font-weight: bold;
  color:  darkred;
}