.class   { font-size: 11px; font-family: Verdana; margin: 1px 2px 1px 5px; border: solid 1px #d3d3d3 }
.class1  { font-size: 11px; font-family: Verdana; margin: 1px 2px 1px 5px; border: solid 1px #195c9e }
.eleven   { font-size: 11px; font-family: Verdana; margin-left: 5px }
.twelve { font-size: 12px; font-family: Verdana }
.topmenu { color: black; font-size: 11px; font-family: Verdana; text-decoration: none }
.topmenu:hover { color: #ff7200; font-size: 11px; font-family: Verdana; text-decoration: none }
.topmenuwhite { color: white; font-size: 11px; font-family: Verdana; text-decoration: none }
.topmenuwhite:hover  { color: #ff7200; font-size: 11px; font-family: Verdana; text-decoration: none }
.border { border-right: 1px solid white }
.white { color: white; font-size: 11px; font-family: Verdana; text-decoration: none }
.justify { text-align: justify }
.cruisetable { color: #000; font-size: 11px; font-family: Verdana }
.cruisetable:hover { color: #b3130d; font-size: 11px; font-family: Verdana }
.cruiseorange { color: #000; font-size: 11px; font-family: Verdana }
.cruiseorange:hover { color: #ff6c00; font-size: 11px; font-family: Verdana }
.borderright { border-right: 1px solid black }
.borderbottom { border-right: 1px solid black; border-bottom: 1px solid black }
.borderdotted { border-bottom: 1px dashed black }