.biggest { font-size: 19px; }
.bigger { font-size: 17px; }
.big { font-size: 15px; }
.default { font-size: 13px; }
.small { font-size: 11px; }
.smaller { font-size: 9px; } 
.smallest { font-size: 7px; } 

.normal { font-weight: normal; }
.strong { font-weight: bold; }

.white { color: white; }
.black { color: black; }
.red { color: red; }



td.right-padded { padding-right: 10px }
td.left-padded { padding-left: 10px; }

.pointer { cursor: pointer; }