h1 { font-family : sans-serif; font-size : 6ex; font-style : italic; font-weight : bold; text-align : left; margin-bottom: 2px; } div.navbar { background-color : #cccdcf; padding-bottom : 7px; padding-left : 5px; padding-right : 5px; padding-top : 7px; } p { max-width : 70ex; } div.navbar a { background-color : #eef0f2; padding-bottom : 3px; padding-left : 3px; padding-right : 3px; padding-top : 3px; } h2 { font-family : serif; font-size : 2.5ex; font-style : normal; font-weight : bold; } h3 { font-family : serif; font-style : italic; font-weight : bold; } DIV.boxed { background-color : #eee; float: right; border-color : #333; border-style : dashed; border-width : 1px; margin-bottom: 0px margin-left : 10px; margin-right : 3%; margin-top : 10px; margin-bottom : 10px; padding : 3px; width : 270px; clear: right; } DIV.boxed h2 { color : #2e8b57; font-size : 2ex; text-align : center; } DIV.boxed h3 { color : #b22222; } DIV.news { display: table; } DIV.newsitem { display: table-row; padding-bottom: 5px; } SPAN.date { display: table-cell; font-family : monospace, serif; font-size : 10pt; font-style : normal; font-variant : normal; font-weight : bold; padding: 2px; padding-right: 5px; margin: 0px; } SPAN.message { display: table-cell; padding: 2px; margin: 0px; } DIV.subtext { font-family : serif, cursive, 'sans-serif', fantasy; font-size : 2ex; font-style : italic; padding-left : 10em; text-align : left; margin-bottom: 30px; } DIV.diagram { background-color : #eee; border-bottom-color : #333; border-bottom-style : dashed; border-bottom-width : 1px; border-left-color : #333; border-left-style : dashed; border-left-width : 1px; border-right-color : #333; border-right-style : dashed; border-right-width : 1px; border-top-color : #333; border-top-style : dashed; border-top-width : 1px; clear : right; float : right; margin-bottom : 0px; margin-left : 10px; margin-right : 3%; margin-top : 15px; padding-bottom : 10px; padding-left : 10px; padding-right : 10px; padding-top : 10px; text-align : center; width : 300px; } DIV.diagram img { border: 0px; } DIV.logos { background-color : #eed2ee; margin: 0px; margin-top : 80px; padding: 5px; border: 0px; clear: right; } DIV.logos IMG { border: 0px; margin: 0px; margin-right: 20px; padding: 0px; } SPAN.attribute { font-family: monospace; font-weight: bold; font-size : 95%; color: #002800; } SPAN.plugin { font-style: italic; font-size : 95%; padding: 0ex 0.05ex 0ex 0ex; color: #000028; } PRE.programlisting { border: solid #8fbc8f 1px; background: #FFFFF8; padding: 10px; margin: 10px auto 10px 10px; } PRE.screen { border: solid #8fbcbc 1px; background: #FDFFFD; padding: 10px; margin: 10px auto 10px 10px; } SPAN.lineannotation { color: #8080a0; } DIV.figure { margin: 10px 5px 8px 5px; padding: 10px 5px 5px 5px; background: #f0f0f8; border: solid #e8e8e8 2px; } EM.replaceable { color: #505080; } CODE.systemitem { font-size : 93%; } SPAN.channel { font-family: monospace; } BODY { padding: 0px; margin: 0px; } DIV.section { margin: 10px; } DIV.body { margin: 10px; } DIV.chapter { margin: 10px; } DIV.article { margin: 10px; } DIV.book { margin: 15px; } DIV.book H1 { color: darkgreen; font-style: normal; font-family: serif; font-weight: bold; font-size: 20pt; } DIV.book H3.author { font-style: normal; text-align: right; margin: 0px 20px 10px 0px; } DIV.toc { margin: 10px 20px; padding: 2px 10px 2px 10px; } DIV.toc SPAN.chapter { font-size: 95%; } DIV.toc SPAN.section { font-size: 90%; color: black; } DIV.list-of-figures { margin: 10px 20px; padding: 2px 10px 2px 10px; } DIV.list-of-figures A { font-size: 90%; } DIV.list-of-figures SPAN.plugin { color: inherit; } DIV.navheader { font-family: sans-serif; background: #f0f8f0; border: solid #e0f0e0 1px; padding: 5px; margin: 0px 0px 5px 0px; } DIV.navfooter { font-family: sans-serif; background: #f0f8f0; border: solid #e0f0e0 1px; padding: 5px; margin: 5px 0px 0px 0px; } DIV.note { border: solid #e8f0ff 1px; margin: 20px 0px 20px 0px; padding: 7px 10px 5px 30px; background-color : #f0f8ff; background-image: url(../gfx/note.png); background-repeat: no-repeat; background-position: 7px 35px; min-height: 85px; } DIV.note H3 { font-family: sans-serif; font-weight: bold; font-style : normal; font-size: 12pt; margin: 0px; padding: 0px 0px 0px 0px; } DIV.note P { padding: 0px 0px 0px 35px; font-size: 80%; } DIV.note SPAN.attribute { font-size: inherit; } DIV.caution { border: solid #700000 1px; margin: 20px 0px 20px 0px; padding: 7px 10px 5px 30px; background-color : #fff0f8; background-image: url(../gfx/caution.png); background-repeat: no-repeat; background-position: 7px 30px; min-height: 90px; } DIV.caution H3 { font-family: sans-serif; font-weight: bold; font-style : normal; font-size: 12pt; margin: 0px; padding: 0px 0px 0px 0px; } DIV.caution P { padding: 0px 0px 0px 30px; font-size: 80%; } SPAN.token { font-family: monospace; font-size : 93%; } DIV.warning { border: solid #904040 1px; margin: 20px 0px 20px 0px; padding: 7px 10px 5px 10px; background-color : #fff0f8; background-image: url(../gfx/warning.png); background-repeat: no-repeat; background-position: 7px 40px; min-height: 90px; } DIV.warning H3 { font-family: sans-serif; font-weight: bold; font-style : normal; font-size: 12pt; margin: 0px; padding: 0px 0px 10px 0px; } DIV.warning P { padding: 0px 0px 0px 50px; font-size: 80%; } CODE.filename { font-size: 98%; } DIV.section { font-family: serif; } DIV.section P { margin: 0.8ex 1ex 0.8ex 2ex; }