a[href]:visited { color: #404080; font-weight: bold; }
a[href]:link { color: #0000c0; font-weight: bold; }
a[href]:hover { color: white; background: #000000; font-weight: bold; }

.menu {
/* grumble */
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.2;
  text-align: left;
  position: fixed;
  top: 2em;
  left: 2em;
  width: 200px;
  right: 2em;
}

.main {
   margin-left: 220px;
/*   width: 80%; */
   position: relative;
   margin-right: 2em;
}