.bikelist   { list-style-image: url("bb_files/decobike.gif");
              margin-right: 15%; }
.bodylist   { padding-left: 4pt; 
              padding-top: 4pt; }
.emph       { font-weight: bolder; }
.head       { font-size: larger;
              padding: 8pt; }
.main       { padding: 8pt; }
.menu       { padding: 4pt; }
.navmenu    { margin-left: 16pt; }
.treedepth  { font-size: smaller; }

a:visited   { color: blue; }
dl          { font-weight: bolder; }