.tablerowgreen   { color: #eee; font-weight: bold; background-color: #006600 }
.times { color: black; font-family: "Times New Roman", Georgia, Times }
.times2 { font-family: "Times New Roman", Georgia, Times }