/docs/style.css
CSS | 209 lines | 179 code | 28 blank | 2 comment | 0 complexity | c54129c27a900be8ac66f34e27b89b43 MD5 | raw file
1body 2{ 3 margin: 0; 4 padding: 0; 5 border: 0; 6 color: black; 7 background-color: whiteSmoke; 8 font-size: 100%; 9 font-family: Verdana, "Deja Vu", "Bitstream Vera Sans", sans-serif; 10} 11 12div#header 13{ 14 padding: 1em; 15} 16 17div#navigation 18{ 19 font-size: 0.875em; 20 float: left; 21 padding: 0 1.5em; 22 margin-bottom: 2em; 23} 24 25div#navigation h2 26{ 27 font-family: Verdana, "Deja Vu", "Bitstream Vera Sans", sans-serif; 28 font-size: 1.35em; 29 color: #17457C; 30 margin: 0; 31} 32 33div#navigation ul 34{ 35 list-style-type: none; 36 margin: 0; 37 padding: 0; 38} 39 40div#navigation li 41{ 42 margin: 0 0 0 0.8em; 43 padding: 0; 44} 45 46#navigation a 47{ 48 display: block; 49 color: #17457C; 50 text-decoration: none; 51 padding: 0.1em 0; 52 border-bottom: 1px dotted #D0D0D0; 53} 54 55#navigation a:hover 56{ 57 color: darkRed; 58} 59 60#navigation a.active 61{ 62 color: black; 63 border-color: black; 64} 65 66div#content 67{ 68 min-height: 440px; 69 max-width: 76em; 70 margin-left: 18em; 71 margin-right: 1.6em; 72 padding: 1.6em; 73 padding-top: 1.3em; 74 border: 0.6em solid #D0D0D0; 75 background-color: white; 76 font-size: 0.875em; 77 line-height: 1.4em; 78} 79 80div#content li 81{ 82 padding-bottom: .7ex; 83} 84 85div#copyright 86{ 87 clear: both; 88 margin-top: 2em; 89 padding: 1em 2em; 90 background-color: #E4E9EF; 91 color: #17457C; 92 font-size: 0.75em; 93 text-align: center; 94} 95 96div#copyright a 97{ 98 color: #17457C; 99} 100 101#lastupdate 102{ 103 float: right; 104 margin: -1.5em; 105 margin-bottom: 0; 106 text-align: right; 107 font-size: 0.8em; 108 font-style: italic; 109 color: #D0D0D0; 110} 111 112h1, h2, h3, h4, h5, h6 113{ 114 font-family: Georgia, "Times New Roman", Times, serif; 115 font-weight: normal; 116 color: darkRed; 117 line-height: normal; 118 text-align: left; 119} 120 121h1 122{ 123 margin-top: 0; 124 font-size: 2.5em; 125} 126 127h2 128{ 129 font-size: 1.7em; 130} 131 132h3 133{ 134 font-size: 1.35em; 135} 136 137h4 138{ 139 font-size: 1.15em; 140 font-style: italic; 141 margin-bottom: 0; 142} 143 144pre 145{ 146 background: whiteSmoke; 147 padding: 1ex; 148 margin: 1em 0 1em 3em; 149 font-family: monospace; 150 font-size: 1.2em; 151 line-height: normal; 152 border: 1px solid #ccc; 153 width: auto; 154 white-space: pre-wrap; /* css-3 */ 155 white-space: -moz-pre-wrap; /* Mozilla, since 1999 */ 156 white-space: -pre-wrap; /* Opera 4-6 */ 157 white-space: -o-pre-wrap; /* Opera 7 */ 158 word-wrap: break-word; /* Internet Explorer 5.5+ */ 159} 160 161dd 162{ 163 padding: 1ex; 164 margin-left: 3em; 165 margin-bottom: 1em; 166} 167 168hr 169{ 170 margin: 2em 0; 171} 172 173a 174{ 175 color: #006; 176} 177 178a:visited 179{ 180 color: #606; 181} 182 183td 184{ 185 vertical-align: top; 186} 187 188.d_inlinecode 189{ 190 font-family: monospace; 191 font-weight: bold; 192} 193 194.d_decl { 195 font-weight: bold; 196 background-color: #E4E9EF; 197 border-bottom: solid 2px #17457C; 198 padding: 2px 0px 2px 2px; 199} 200 201/* Elements of D source code text */ 202.d_comment { color: green; } 203.d_string { color: red; } 204.d_keyword { color: blue; } 205.d_psymbol { text-decoration: underline; } 206.d_param { font-style: italic; } 207 208/* Focal symbol that is being documented */ 209.ddoc_psymbol { color: #17457C; }