body  { font-size: medium; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif }
p     { color: black; font-size: 1em; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; line-height: 1.2em }
td {}
.menu       { color: black; font-size: 0.75em; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; text-decoration: none; margin: 0 10% 10% 0 }
.pub   { color: #339933; font-size: medium; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif }
a.pub   { color: #393; font-size: medium; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif }
a:hover.pub      { color: #393; font-size: medium; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; text-decoration: underline }
a      { color: black; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; text-decoration: none }
a:hover     { color: #393; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; text-decoration: underline }
.submenu  { font-size: 1em; margin-top: 0; margin-bottom: 0; margin-left: 10% }