body { background-color: #B6BDBD; font-family: sans; font-size: 12pt; color: #000000; } h1, h2, h3, h4, h5, h6 { font-family: times; } h3, h4, h5, h6 { font-weight: normal; } p { margin-left: 10px; margin-top: 0px; } p.tiny{ font-size: 5pt;} li { margin-bottom: 1em; } /* code blocks */ pre { margin-left: 20px; margin-right: 20px; margin-top: 0px; background-color: white; border-style: solid; border-color: #888A85; border-width: 1px; font-size: 11pt; font-family: monospace; } pre.commandLine { background-color: #2E3436; color: #C3F097; } span.structure { color: #FCAF3E; font-weight: bold; } span.primitive { color: #729FCF; font-weight: bold; } span.className { color: #8AE234; font-weight: bold; } span.type { color: #729FCF; } span.value { color: #C17D11; } span.function { color: #75507B; } span.name { color: #8AE234; } span.comment { color: #888A85; } /* in-line code block */ span.codeBlockInText{ background-color: white; border-color: black; border-style: solid; border-width: 1px; font-size: 11pt; font-family: monospace; padding-left: 5px; padding-right: 5px; } a { text-decoration: none; } a:link { color: #90BA45; } a:hover { color: #FF2A00; } a:visited { color: #FCAF3E; } ul { margin-top: 0px; } table { position: absolute; top: 0px; left: 0px; border-collapse: collapse; width: 100%; } td { vertical-align: top; margin: 0px; } td.left { } td.right{ } td.content { background-color: #F2F0FF; } td.comment { background-color: #D7DBD7; font-style: italic; font-size: 10pt; } td.comment p { border-left-style: solid; border-left-width: 3px; margin-left: 3px; } p.explanation { border-left-color: #8ED424; } p.general { border-left-color: #888A85; } p.warning { border-left-color: #EF2929; } td.spacer { height: 120px; } @media only screen and (min-width: 1000px) { td.left { border-right-style: solid; border-right-width: 1px; } td.right { border-left-style: solid; border-left-width: 1px; } td.content { width: 800px; } td.comment { width: 200px; } } @media only screen and (max-width: 999px) { td.left{ width: 0px; } td.right{ width: 0px; } td.content { width: 80%; } td.comment { width: 20%; } }