h1 {  font-size: large; font-weight: bold; margin-top: 2px; margin-right: auto; margin-bottom: 5px; margin-left: auto; border-color: #000000 black; border-style: solid; border-top-width: 3px; border-right-width: 0px; border-bottom-width: 1px; border-left-width: 0px; padding-top: 2px; padding-bottom: 2px}
h2 {  font-size: medium; font-weight: bold; margin-bottom: 5px; border-color: black black #000000; border-style: solid; border-top-width: 0px; border-right-width: 0px; border-bottom-width: 1px; border-left-width: 0px}
.menulink {  font-style: normal; font-weight: bold; text-decoration: none}
pre {  background-color: #EEEEEE; margin-top: 10px; margin-right: 10px; margin-bottom: 10px; margin-left: 10px; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px}