body { font-family: sans-serif; color: black; background: white }

.bodytext {  }

h1 { color: #cc5555 }

h2, h3 { color: #44aa44 }

code { font-size: larger }

.ex { background-color: #ffff88; color: black; padding: 1em; 
      margin-left: 1em; margin-right: 3em; line-height: 1.2 }

.menu {
  position: fixed;
  margin: 0;
  top: 1em;
  left: auto;
  right: 1em;
  width: 10em;
  height: auto;
  background: #88eeff;
  color: black;
  float: none;
  font-size: smaller;
  border: outset;
}

.menuitem {
  margin: 0.5em;
  display: block;
  line-height: 1.1;
  font-weight: bold;
}

.menuitem a:hover { background: white; color: black }