html { font-size: 87.5% } body { font-family: Helvetica, Arial, sans-serif } p, pre, ul, ol { margin-bottom: 1.1em } #content { margin-bottom: 2em } #content h1 { font-size: 1.75em; line-height: 1em } #content h2 { font-size: 1.5em; line-height: 1em; margin-bottom: .666em; margin-top: .666em } #content h3 { font-size: 1.17em; margin-bottom: .855em; margin-top: .855em } #content p, #content pre, #content ul, #content ol { margin-top: 1.285em; margin-bottom: 1.285em } #content pre { margin-left: 1em; overflow: auto } #content ul { margin-left: 1em } #content ol { margin-left: 1.5em } #content .index-summary .item { margin-bottom: 1em } #content .index-summary .item .date { display: block; float: right; font-size: 0.9em; padding-top: 0.1em } #content .index-summary .item .description { display: block; text-indent: 1em; padding-right: 5em } #nava, #navb { margin-top: 1em } #nava h1, #navb h1 { font-size: 1em; font-weight: bold } #navb ul ul { margin-left: .5em; list-style-type: none; margin-bottom: 0em } #navb .section-list a { display: block; padding-left: .5em; text-indent: -.5em } #nava .input { padding-top: 1px; padding-bottom: 1px } #nava .input, #nava .button { font-size: .75em } #footer { padding-bottom: 1em; padding-top: 1em; font-size: .9em }