.center { text-align: center; }

body {
  font-family: Helvetica, sans-serif;
}

b.title {
  background-color: white;
  color: #777;
  font-size: 24pt;
  font-weight: bold;
}
.subtitle {
    color: #777;
}

h1 {
  color: #777;
}

h2 {
  background-color: #777;
  color: white;
}

.menubar,
.menubar a,
.menubar a:visited {
  color: white;
  background-color: #888;
}
.menubar {
  text-align: center;
  border: solid 1px #aaa;
  padding: 0.5ex;
}
.menubar span {
  padding: 1ex;
}

a {
  color: #777;
  font-weight: bold;
  border: 0px;
  text-decoration: none;
}

code {
  color: #744;
  font-weight: normal;
}

dt {
  font-weight: bold;
  font-size: 140%;
}

p.footer {
  color: #777;
  font-size: x-small;
  text-align: center;
}

.work {
  vertical-align: top;
}