.nav_bar { color: #f5f5dc; font-weight: bold; font-size: 12px; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
.times14 { font-size: 14px; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
.times12 { font-size: 12px; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
.times10 { font-size: 10px; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
.times10_deco { font-size: 10px; font-family: "Times New Roman", Georgia, Times }
.blurb { font-size: 16px; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
.times07 { font-size: 7px; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
.gallery   { color: #639; font-size: 18px; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }