.borderline {  border: 1px #339999 solid}
.thickborderline { border: #339999 solid; border-width: 1px 2px 2px}
.greenborderline { border: 1px #000066 solid; color: #000066; border-color: #000000 solid; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: xx-small}
.thickborderlineTop { border: 2px #339999 solid}
.borderlineTop { border: #339999 solid; border-width: 1px 1px 0px}
.borderlineRight { border: #339999 solid; border-width: 0px 1px 0px 0px}
.blueborderline { border: 1px #006699 solid}