.class12navi     { color: #555; font-size: 12px; line-height: 120% }
.class12navi  a { color: blue; text-decoration: underline }
.class12navi  a:visited { color: purple; text-decoration: underline }
.class12navi  a:hover { color: red; text-decoration: underline }

.class15navi    { color: #555; font-size: 15px; line-height: 120% }
.class15navi  a { color: blue; text-decoration: underline }
.class15navi  a:visited { color: purple; text-decoration: underline }
.class15navi  a:hover { color: red; text-decoration: underline }

.class16b  { color: #990000; font-weight: bold; font-size: 16px }

.class18b   { color: #990000; font-weight: bold; font-size: 18px }