/* Screen-specific styles */
body {
  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='100' height='100' viewBox='0 0 100 100'%3E%3Cfilter id='noise'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.6' numOctaves='4' result='n'/%3E%3CfeColorMatrix type='matrix' values='0.3 0 0 0 0, 0.3 0 0 0 0, 0.3 0 0 0 0, 0 0 0 0.05 0'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23noise)'/%3E%3C/svg%3E");
  background-color: #fffff5;
  color: #222;
}

.contents {
  margin-bottom: 1em;
  margin-top: 0.5em;
}

.contents dl dt {
  margin-top: 0.3em;
  margin-bottom: 0.3em;
}

.contents dl dt a {
  font-weight: normal;
}

.contents dl dt a:hover {
  font-weight: bold;
}

.navfoot {
  margin-top: 2em;
}