html { overflow: -moz-scrollbars-vertical !important; }
body { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; }
body>div { width: 1000px; margin: 1em auto 0; }
img { vertical-align: bottom; }
#pic { float: right; margin: 1em 3em; }
h1 { color: #666; font-size:14pt; font-weight: normal; padding: 0; }
div p { padding: 0.6em 2em; }
a { text-decoration: none; color: #1B887A; }
a:hover { color: #13F; }

#menu { border-bottom: 1px solid #AAA; padding-bottom: 0.5em; }
#menu a { padding: 5px 13px; }
#menu a:hover { background-color: #F4F4F4; }
#menu a.primary { color: #F00; }
.lastmodified { text-align: right; font-size: 7pt; color: #AAA; }