.diggerheadingred { color: #FF0000; font-size: 14pt; font-family: Arial; font-weight: bold }
.small-link  { font-size: 8pt; font-family: Arial }
.tabtext     { font-family: Arial; font-size: 10pt }