A:link { color: green; } A:visited { color: black; } A:hover{ color: gold; }; body { margin: 2em 1em 2em 70px; font-family: sans-serif; color: black; background: white; background-position: top left; background-attachment: fixed; background-repeat: no-repeat; } h1, h2, h3 ,h4 { text-align: left; font-family: sans-serif; font-weight: normal; color: Green; } h1.title { color: khaki; background: lightseagreen; text-align: center; border-style: outset; border-color: green; padding: 10pt; margin-left: 60pt; margin-right: 60pt; } h1.part { color: khaki; background: chartreuse; padding: 10pt; } h1.chapter { color: khaki; background: cadetblue ; text-align: left; padding: 5pt; } dfn { font-weight: bold; font-style: normal; } code { font-family: helvetica, sans-serif; font-weight: bold; } li p { text-indent: 0pt; } dt { font-weight: bold; } th p { text-indent: 0pt; } td p { text-indent: 0pt; } div.table { text-align: center; } table.data { margin-top: 10pt; margin-bottom: 10pt; background-color: green; } table.data caption { background-color: khaki; font-weight: bold; } table.data th { color: yellow; background-color: lightseagreen; } table.data td { background-color: antiquewhite; } table.data td.key { background-color: salmon; font-weight: bold; } table.menu { margin-top: 10pt; margin-bottom: 10pt; text-align: center; } table.menu caption { background-color: khaki; font-weight: bold; } table.menu th { color: yellow; background-color: lightseagreen; } table.menu td { color: Maroon; background-color: antiquewhite; font-weight: bold; padding: 10pt; } table.menu td.key { font-size: x-large; color: RoyalGreen; background-color: LightGreen; font-weight: bold; padding: 10pt; } table.menu td.key A:link { color: RoyalGreen; } table.menu td.key A:visited { color: RoyalGreen; } table.navigator { } table.navigator td { text-align: center; font-weight: bold; } table.languages { margin-bottom: 0pt; margin-top: 0pt; font-size: x-small; } table.languages td.current { } table.languages td.other { background-color: Orange; } p { margin: 0pt; text-indent: 1em; } div.title { text-align: center; } div.toc { background-color: silk; padding: 10pt; border-style: inset; border-color: cornsilk; margin-top: 10pt; margin-bottom: 30pt; } div.titletoc { background-color: cornsilk; padding: 10pt; border-style: inset; border-color: cornsilk; margin-top: 10pt; margin-bottom: 30pt; } div.date { text-align: center; } div.author { text-align: center; font-weight: bold; } div.email { text-align: center; } div.hp { text-align: center; } div.summary { color: maroon; background: cornsilk; border-style: inset; border-color: gray; margin-top: 20pt; margin-bottom: 20pt; margin-left: 30pt; margin-right: 30pt; padding: 5pt; } div.comment { color: red; background: yellow; } span.comment { color: red; background: yellow; } div.navigator { background: khaki; border-top: 1pt solid black; border-bottom: 1pt solid black; text-align: center; margin-top: 10pt; margin-bottom: 10pt; } div.navigatortop { background: khaki; border-top: 1pt solid black; border-bottom: 1pt solid black; text-align: center; margin-bottom: 10pt; } div.navigatorbottom { background: khaki; border-top: 1pt solid black; border-bottom: 1pt solid black; text-align: center; margin-top: 10pt; } div.languages { text-align: right; } div.footnote { background: antiquewhite; } div.fyi { color: maroon; background: peachpuff; padding: 5pt; margin-top: 10pt; margin-bottom: 10pt; } div.fyi div.title { background: antiquewhite; font-weight: bold; padding: 5pt; margin-top: 5pt; margin-bottom: 5pt; } div.caption { background: lavender; font-weight: bold; padding: 5pd; width: 300pt; margin-top: 10pt; } div.result { background: ivory; border-style: inset; border-color: gold; padding: 10pt; margin-top: 10pt; margin-bottom: 10pt; } span.caption { background: lavender; font-weight: bold; } pre.program { background-color: gainsboro; font-family: courier, monospace; padding: 5pt; margin-right: 30pt; } pre.program em { color: red; font-style: normal; } pre.program strong { color: red; background-color: yellow; font-style: normal; } pre.program span.keyword { color: Green; font-style: normal; } pre.program span.primitive { color: Green; font-style: normal; } pre.program span.comment { color: Red; background-color: gainsboro; font-style: normal; } pre.program span.quote { color: OrangeRed; font-style: normal; } var { color: green; font-style: italic; } tt { font-family: courier, monospace; } code { font-family: helvetica, sans-serif; font-weight: bold; } pre.console { background-color: black; color: white; font-family: courier, monospace; padding: 5pt; margin-right: 30pt; } pre.console kbd { font-family: courier, monospace; color: yellow; } span.toggle { font-weight: bold; } div.figure { text-align: center; } img.figure { margin: 10pt; } TH, TD { /* ns 4 */ font-family: sans-serif; } .hide { display: none } DIV.head { margin-bottom: 1em } DIV.head H1 { margin-top: 2em; clear: both } DIV.head TABLE { margin-left: 2em; margin-top: 2em } DIV.head IMG { color: white; border: none } P.copyright { font-size: small } P.copyright SMALL { font-size: small } @media screen { A:hover { background: #FFA } } PRE { margin-left: 2em } DT, DD { margin-top: 0; margin-bottom: 0 } DT { font-weight: bold } PRE { font-family: monospace } UL.toc { list-style: disc; list-style: none; } @media aural { H1, H2, H3 { stress: 20; richness: 90 } .hide { speak: none } P.copyright { volume: x-soft; speech-rate: x-fast } DT { pause-before: 20% } PRE { speak-punctuation: code } }