1div#NOTICE 2{ 3 width: 1000px; 4} 5body 6{ 7 background-color: #ffffff; 8 font-size: 90%; 9 font-family: sans-serif; 10} 11a 12{ 13 text-decoration: none; 14} 15a:link 16{ 17 color: #6666FF; 18} 19 20a:visited 21{ 22 color: #7560CC; 23} 24a:hover 25{ 26 color: #5809FF; 27 text-decoration: underline; 28} 29div.Space 30{ 31 clear: both; 32 padding-left: 1px; 33} 34span.EditDate 35{ 36 font-size: 75%; 37 font-style:italic; 38} 39span.NoBr 40{ 41 white-space: nowrap; 42} 43div#INDEX 44{ 45 font-size: 95%; 46 font-weight: bold; 47} 48div#INDEX .Category 49{ 50 font-size: 80%; 51 padding-bottom: 4px; 52} 53div#SIDEBAR 54{ 55 font-size: smaller; 56} 57div#SIDEBAR.Unframed 58{ 59 width: 20%; 60 float: right; 61} 62/* for list */ 63div#LIST 64{ 65 margin-bottom: 20px; 66} 67div#LIST.NoSidebar 68{ 69 width: 100%; 70} 71div#LIST.HasSidebar 72{ 73 float: left; 74 width: 79%; 75} 76.T 77{ 78 background-color: #CECFFF; 79} 80.S 81{ 82 background-color: #FFCCCC; 83} 84.F 85{ 86 background-color: #FFFFCC; 87} 88.E 89{ 90 background-color: #CCFFFF; 91} 92.FE 93{ 94 background-color: #CCFFCC; 95} 96div#LIST .Word 97{ 98 border-top: solid 1px; 99 padding-left: 1px; 100 padding-right: 1px; 101 width: 100%; 102 font-size: 95%; 103} 104div#LIST .WordLiteral 105{ 106 float: left; 107 min-width: 18%; /* keeps Moz happy */ 108 * width: 18%; /* keeps IE happy */ 109 font-weight: bold; 110} 111div#LIST .Function 112{ 113 float: left; 114 width: 80%; 115 margin-left: 2%; 116} 117/* for main */ 118div#MAIN 119{ 120 clear: both; 121 width: 100%; 122} 123span.WordPhonetic 124{ 125 font-size: 50%; 126 margin-top: 1px; 127 margin-bottom: 0px; 128} 129div.WordName 130{ 131 clear: both; 132 margin-top: 1px; 133 margin-bottom: 0px; 134} 135div.Support 136{ 137 width: 100%; 138 margin-right: 1em; 139 font-size: 50%; 140} 141span.WordVersion 142{ 143 float: left; 144 color: blue; 145 background-color: white; 146 margin-top: 0px; 147 margin-bottom: 1px; 148} 149span.WordField 150{ 151 float: left; 152 margin-top: 1px; 153 margin-left: 5px; 154 margin-bottom: 0px; 155} 156span.EngineField 157{ 158 float: left; 159 margin-top: 1px; 160 margin-left: 1em; 161 padding-left: 1em; 162 text-indent: -1em; 163 margin-bottom: 0px; 164} 165span.EngineVersion 166{ 167 color: blue; 168 background-color: white; 169 margin-left: 3px; 170} 171/* hn */ 172h2 /* cmd type, engine(s), name */ 173{ 174 * width: 100%; 175 max-width: 100%; 176 font-size: 180%; 177 font-weight: bold; 178 color: #6666ff; 179 180 background-repeat: no-repeat; 181 background-color: #DDDDFF; 182 183 padding-top: 6px; 184 padding-left: 5px; 185 padding-bottom: 4px; 186 padding-right: 0px; 187 188 margin-top: 15px; 189 margin-left: 3px; 190 margin-bottom: 0px; 191 margin-right: 3px; 192 193 border-left: #6666FF 10px solid; 194 border-bottom: #9999CC 2px solid; 195 border-right: #9999CC 2px solid; 196} 197h3 /* cmd format string */ 198{ 199 background-color: transparent; 200 201 * width: 95%; 202 max-width: 95%; 203 font-size: 100%; 204 color: #ff3333; 205 font-weight: bold; 206 207 padding-top: 3px; 208 padding-left: 18px; 209 text-indent: -15px; /* hanging indent */ 210 padding-bottom: 3px; 211 padding-right:3px; 212 213 margin-top: 10px; 214 margin-left: 15px; 215 margin-bottom: 10px; 216 margin-right: 15px; 217 218 border: #6666FF 1px solid; 219} 220h4 /* cmd category */ 221{ 222 background-color: #6666cc; 223 224 * width: 95%; 225 max-width: 95%; 226 font-size: 80%; 227 color: white; 228 font-weight: bold; 229 230 text-align: left; 231 vertical-align: middle; 232 233 padding-top: 3px; 234 padding-left: 3px; 235 padding-bottom: 3px; 236 padding-right:3px; 237 238 margin-top: 0px; 239 margin-left: 10px; 240 margin-bottom: 5px; 241 margin-right: 10px; 242 243 border-bottom: #333399 2px solid; 244 border-right: #333399 2px solid; 245 246} 247a.WordCategory 248{ 249 color: white; 250} 251a.WordCategory:link 252{ 253 color: white; 254} 255a.WordCategory:visited 256{ 257 color: white; 258} 259a.WordCategory:hover 260{ 261 color: white; 262} 263/* Arguments */ 264div.Arguments 265{ 266 width: 100%; 267 font-size: 80%; 268/* color: #ff3333; */ 269 color: #cc3333; 270 271 padding-top: 3px; 272 padding-left: 3px; 273 padding-bottom: 3px; 274 padding-right:3px; 275 276 margin-top: 10px; 277 margin-left: 15px; 278 margin-bottom: 10px; 279 margin-right: 15px; 280 281} 282span.ArgType 283{ 284 float: left; 285 width: 15%; 286} 287span.ArgMeaning 288{ 289 float: left; 290 width: 80%; 291 padding-left: 1em; 292} 293div.ContentBody 294{ 295 margin-left: 15px; 296 margin-right: 15px; 297} 298p.Description 299{ 300 margin-top: 1em; 301 margin-bottom: 1em; 302 font-size: 100%; 303 width: 100%; 304} 305span.Indent 306{ 307 padding-left: 2em; 308} 309div.NoticeHead 310{ 311 float: left; 312 color: red; 313} 314div.NoticeBody 315{ 316 margin-left: 1em; 317 margin-bottom: 1em; 318 font-size: 80%; 319 color: red; 320} 321div.Example 322{ 323 clear: both; 324} 325div.ExComment 326{ 327 font-size: 85%; 328} 329pre.ExSource 330{ 331 margin-top: 2px; 332 background-color: #e0e0e0; 333 /* various browser-specific word-wrapping techniques */ 334 white-space: pre-wrap; /* For IE and various */ 335 white-space: -pre-wrap; /* For older Opera */ 336 white-space: o-pre-wrap; /* For Opera */ 337 white-space: -moz-pre-wrap; /* For FireFox and Mozilla Browsers */ 338 word-wrap: break-word; /* For IE 5.5+ */ 339} 340span.ExHeading 341{ 342 font-weight: bold; 343} 344table#VALUE_EXPLANATION_TABLE 345{ 346 font-size: smaller; 347} 348table#NUMBER_RANGE_TABLE 349{ 350 font-size: smaller; 351} 352table#BGCOLOR_EXPLANATION_TABLE 353{ 354 font-size: smaller; 355} 356table#ENGINE_EXPLANATION_TABLE 357{ 358 font-size: smaller; 359} 360.grey 361{ 362 background-color: #E0E0E0; 363} 364td 365{ 366 padding-left: 2px; 367} 368/* 369 FILE ARCHIVED ON 16:01:33 Jun 03, 2016 AND RETRIEVED FROM THE 370 INTERNET ARCHIVE ON 11:01:24 Nov 04, 2018. 371 JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE. 372 373 ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C. 374 SECTION 108(a)(3)). 375*/ 376/* 377playback timings (ms): 378 LoadShardBlock: 131.058 (3) 379 esindex: 0.009 380 captures_list: 149.207 381 CDXLines.iter: 13.463 (3) 382 PetaboxLoader3.datanode: 89.796 (5) 383 exclusion.robots: 0.195 384 exclusion.robots.policy: 0.18 385 RedisCDXSource: 1.644 386 PetaboxLoader3.resolve: 271.494 (5) 387 load_resource: 313.529 388*/