.v-blue      { border-left-style:solid; border-left-width:5px; border-left-color:blue }
.v-green     { border-left-style:solid; border-left-width:5px; border-left-color:green }
.distance    { position: relative; left: 5px }
.NB          { color: #000000; text-align: center; font-weight: bold; 
               border: 1px solid #000000; background-color: #FFFF00 }
.codesnippet { font-family: Courier New; font-size: 8pt; border: 1px dashed #FF0000; 
               padding: 3px; background-color: #FFFFCC }
h3           { color: #FF0000 }
h2           { color: #FF0000 }
h4           { color: #FF0000 }
.listbox     { background-color: #FFFFCC; border: 1px dotted #00FF00; padding: 0; }
.hint        { color: #808080 }