body     { font-size: 9pt; font-family: Times, "Times New Roman", Georgia; background-color: white }
.body   { font-size: 9pt; font-family: "Times New Roman", Georgia, Times; line-height: 9pt }
h1.body    { font-weight: normal; font-size: 9pt }
.h1 { font-size: 11pt; font-family: "Times New Roman", Georgia, Times }
h1.h1  { font-weight: normal; font-size: 11pt }
h1.h3   { font-weight: bold; font-size: 8pt }
h3.body    { font-weight: normal; font-size: 8pt }
h3.h3  { font-weight: normal; font-size: 8pt }
.menu   { font-size: 7pt }
p  {}