body { color: black; font-size: 14px; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 16px; background-color: #b8dfed; }
.intro  /* for explanatory text */ { font-size: 14px; font-family: Times, "Times New Roman", Georgia, serif; line-height: 16px; }
.navba  /* for buttons */ { font-size: 12px; font-family: Times, "Times New Roman", Georgia, serif; letter-spacing: 1px; border: solid 2px #00f; }
.menuba  /* same as menu style on earlier pages */ { font-size: 10px; font-family: Times, "Times New Roman", Helvetica, serif; line-height: 12px; }
.band  /* for yellow labels */ { font-size: 14px; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; background-color: #ff9; letter-spacing: 1px; padding-right: 4px; }