@CHARSET "UTF-8";

body { margin:0; padding: 0; font-family: Georgia; font-size: 20px; }

#page { width: 1000px; margin: 20px auto; } 

a { color: #0099FF; text-decoration: none; }
a:hover { background-color: #0099ff; color: #fff; }

code { color: #0099ff;  }

h1, h2, h3 { padding: 0; margin: 0; font-family: Georgia; }

#doc, #note, #spread, #examples { padding-top: 40px; line-height: 28px; clear: both; }

#head { text-align: center; font-size: 18px; }
#head .download a { text-decoration: none; font-style: italic; font-size: 40px; }
#head .download a:hover { text-decoration: underline; }

#head h2 { text-transform: uppercase; }
h3 { font-size: 40px;  }

.comment { color: #999; }

.topbar h2{ font-weight: normal !important }
.topbar a { color: #3399cc; text-decoration: none; }
.topbar a:hover { text-decoration: underline; }