body { font-family: Ubuntu, Arial, sans-serif; font-size: 13px; background-color: #f6f6f6; color: #000000 }
h4 { font-size: 14px }
h3 { font-size: 16px }
p.small { font-size: 85% }
code { font-size: 95% }
pre { margin-top: 3px; margin-bottom: 3px }
p { line-height: 1.15; margin-top: 11px; margin-bottom: 9px }
p.top { margin-top: 10px; margin-bottom: 9px }
p.gap { margin-top: 15px; margin-bottom: 9px }
h3.top { margin-top: 10px }
h3.popup { margin-top: 6px; margin-bottom: 6px }
h3.sidebar { margin-top: 10px; margin-bottom: 6px }
h4.toc { margin-bottom: 5px }
h1 { margin-top: 0px }
p.topleft { margin-top: 20px }
p.left { margin-top: 0px }
p.footer { margin-top: 1px; margin-bottom: 5px }
div.hr { border-top: solid black; height: 1px }
p.red { color: red }
span.red { color: red }
span.purple { color: purple }
span.nowrap { white-space: nowrap }
span.smallfont { font-size: 80% }
h4.link { font-size: 13px; margin-top: 0px; margin-bottom: 2px }
li { margin-top: 3px;  }
dl { margin-top: 3px;  }
p.note { margin-top: 3px; margin-bottom: 0px }
p.prenote { margin-top: 11px; margin-bottom: 0px }
table.donate { margin-top: 0px; margin-bottom: 0px }
table.download { width: calc(100% - 10px); border-collapse: collapse; margin-left: 5px; margin-right: 5px }
table.download td { font-size: 12px; padding-left: 4px; padding-right: 4px; border: solid black; border-width: 1px }
table.download td:nth-child(1n+3) { text-align: center }
table.download th { text-align: left; font-size: 13px; border: none; padding-bottom: 4px; padding-top: 4px }
table.module { border-collapse: collapse }
table.module td { border: solid black; border-width: 1px }
table.module th { border: solid black; border-width: 1px }
table.module td { padding: 3px; padding-right: 10px }
table.module th { text-align: left; padding: 3px; padding-right: 15px }
td.heading { font-family: serif; font-size: 14px; font-style: italic }
td.dterm { white-space: nowrap; vertical-align: top; padding-left: 4px; padding-right: 8px; font-weight: bold }
ol { padding-left: 1em; margin-left: 1em }
ul { margin-top: 0px; margin-bottom: 0px; padding-left: 1em; margin-left: 3px }

.footer {font-size: 10px }

A:link { text-decoration: none; color: blue }
A:visited { text-decoration: none; color: blue }
A:hover { text-decoration: none; color: red }
A:active { text-decoration: none; color: blue }