a:hover {
  background-color: #f7f7e0;
}

h1 {
#  background-color: #f7f3ce;
  background-color: #f7f7e0;
}

h2 {
#  background-color: #f7f3ce;
#  background-color: #f7f7e0;
  background-color: #d5ceac;
  color: #000000;
}

div.section { border: thin solid black; }

div.nav {
  border: thin solid #d5ceac;
  background-color: #f7f7e0;
}

div.intro { font-size: medium; }

.highlight { color: red; }

td.section {
#  background-color: #f7f3ce;
  border: thin solid black;
  background-color: #d5ceac;
}

td.menu {
  background-color: #fdfff7;
}