body { background: white; color: black; font-family: Arial, Helvetica, sans-serif; } .contents { margin-top: 0; margin-left: 0.5em; padding-left: 0.5em; font-size: smaller; } h1 { text-align: center; text-decoration: underline; } blockquote { font-size: smaller; /*font-style: italic;*/ margin-left: 0; margin-right: 0; font-family: "courier new", courier, serif; font-family: "Georgia", courier, serif; background: #DEDEDE url("quote.gif") no-repeat top right; margin: 0.5em; padding: 0.5em; padding-left: 1em; padding-top: 1em; } caption { padding: 0 0 10px; font: bold 120% Arial, sans-serif; } pre { border: 2px solid #cccccc; background: #e7e7e7; padding: 1ex; margin-left: 3em; color: #000066; width: 640px; } .shrink { margin-left: 0em; width: 15em; } .bnf { background-color: #fefefe; color: #000066; } .ddoccode { background-color: #dedede; color: #000066; } .console { background-color: #f7f7f7; color: #181818; } .moddeffile { background-color: #efeffe; color: #010199; } .scini { background-color: #feeffe; color: #111199; } .dcode { background-color: #e7e7e7; color: #000066; } .d_code /* D code */ { background-color: #fcfcfc; color: #000066; } /* Elements of D source code text */ .d_comment { color: green; } .d_string { color: red; } .d_keyword { color: blue; } .d_psymbol { text-decoration: underline; } .d_param { font-style: italic; } .asmcode { /* Asm code */ background-color: #afcbde; color: #000066; } .ccode { background-color: #c5e7e7; color: #000066; } body#toc { background: #dddddd; font-size: small; } div#tocheading { border-bottom: 2px solid gray; font-size: larger; font-weight: bold; text-align: center; margin-bottom: 1ex; padding-bottom: 1ex; } div#tocheading b { color: red; font-size: 36pt; font-family: serif; } body#toc ul { border-bottom: 2px solid gray; list-style-type: none; margin-left: 0; margin-top: 0; padding-bottom: 1ex; padding-left: 0; } div#toccopyright { font-size: smaller; margin-bottom: 1ex; padding-top: 3px; } div#heading { border-bottom: 2px solid black; padding-bottom: 1ex; } div#lastupdate { font-size: smaller; font-style: italic; } div#headingNav { padding-bottom: 4px; } div#headingNav ul { list-style: none; padding: 0; margin: 0; margin-bottom: 1px; padding-bottom: 2ex; } div#headingNav li { display: block; float: right; padding-right: 1ex; } div#headingNav a { text-decoration: none; display:block; background-color: #c6c8eb; color:black; border-top: 1px solid #dddddd; border-right: 1px solid #000000; border-bottom: 2px solid #000000; border-left: 1px solid #dddddd; padding: 3px 12px 3px 8px; /* padding: 0; margin: 0; height:0; */ } div#headingNav a:hover { background-color: #ddddff; border-top: 1px solid #000000; border-left: 1px solid #000000; } div#searchbox { padding-top: 3px; text-align:center; } div#toctop { font-size: larger; /*text-align:center;*/ } a#dlink { color: red; font-weight: bold; } /* For CSS based layout */ div#navigation { font-size: 0.8em; float: left; width: 15em; /*background-color:#eeeeee;*/ /*border-right: 1px solid black;*/ padding-top: 1em; } .navblock { background-color:#c6c8eb; border: 1px solid black; margin-top: 0; margin-bottom: 1ex; padding-top: 3px; padding-left: 3px; } .navblock h2 { font-size: 120%; padding-top: 0px; margin-top: 0; margin-bottom: 0px; } div#navigation ul { list-style-type: none; margin-top: 0px; margin-left: 1ex; margin-right: 1ex; margin-bottom: 1ex; padding:0; } div#navigation li { margin:0; padding: 3px 0 3px 8px; } div#navigation a { text-decoration: none; display:block; margin: 0; background-color: #c6c8eb; color: black; /* border-top: 1px solid #dddddd; border-right: 1px solid #333333; border-bottom: 1px solid #333333; border-left: 1px solid #dddddd; */ } div#navigation a:hover { background-color: #ddddff; } /* div#navigation a:active { padding: 2px 13px 4px 7px; background-color: #444444; color: #eeeeee; border-top: 1px solid #333333; border-right: 1px solid #dddddd; border-bottom: 1px solid #dddddd; border-left: 1px solid #333333; height:0; } */ div#content { line-height: 1.4em; margin-left: 15em; margin-right: 1.5em; /*border-left: 1px solid black;*/ padding-top: 1em; padding-left: 1em; text-align: justify; } div#content li { padding-bottom: 0.5ex; } div#footernav { background-color: #c6c8eb; border-top: 1px; border-bottom: 0px; border-left: 1px; border-right: 1px; border-color: black; border-style: solid; padding-right: 7px; text-align: right; } div#copyright { border-top: 1px solid black; font-size: smaller; margin-bottom: 2ex; padding-top: 3px; } /* --- The items below were added to V 0.133 --- */ td.toc { /* table of contents column

*/ background-color:#eeeeee; border-left: 1px solid black; border-right: 1px solid black; } td.compred { /* comparison with D: "NO" */ background-color:#ff5555; text-align:center; } td.compgreen { /* comparison with D: "YES" */ background-color:#55ff55; text-align:center; } table.table2 { background-color:#e7e7e7; color: #000066; margin-left: 3em; } th.table2 { background-color:#c6c6c6; } th.table3 { background-color:#b5b5b5; } table.comp { /* "comparison with D": table */ background-color:#f0f0f0; } /* The following entries are currently disabled, but they might be needed (with color values adjusteded) if the doc pages' color scheme is changed. a:link { color:#006666; } a:visited { color:#660066; } a:active { color:#660066; } */ dd { padding: 1ex; margin-left: 3em; margin-bottom: 1em; }