body           { color: #000; font-weight: normal; font-size: 16px; line-height: 18px; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
a        { color: #306; font-style: normal; font-weight: bold }
.header        { color: #262626; font-style: italic; font-weight: bold; font-size: 22px; line-height: 24px; font-family: "Times New Roman", Georgia, Times }
.notation     { color: #000; font-style: normal; font-weight: normal; font-size: 12px; line-height: 14px; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }