Mercurial > hg > sv-dependency-builds

annotate src/opus-1.3/doc/customdoxygen.css @ 84:08ae793730bd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add null config files
author Chris Cannam
date Mon, 02 Mar 2020 14:03:47 +0000
parents 7aeed7906520
children
rev   line source
Chris@69 1 /* The standard CSS for doxygen */
Chris@69 2
Chris@69 3 body, table, div, p, dl {
Chris@69 4 font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
Chris@69 5 font-size: 13px;
Chris@69 6 line-height: 1.3;
Chris@69 7 }
Chris@69 8
Chris@69 9 /* @group Heading Levels */
Chris@69 10
Chris@69 11 h1 {
Chris@69 12 font-size: 150%;
Chris@69 13 }
Chris@69 14
Chris@69 15 .title {
Chris@69 16 font-size: 150%;
Chris@69 17 font-weight: bold;
Chris@69 18 margin: 10px 2px;
Chris@69 19 }
Chris@69 20
Chris@69 21 h2 {
Chris@69 22 font-size: 120%;
Chris@69 23 }
Chris@69 24
Chris@69 25 h3 {
Chris@69 26 font-size: 100%;
Chris@69 27 }
Chris@69 28
Chris@69 29 dt {
Chris@69 30 font-weight: bold;
Chris@69 31 }
Chris@69 32
Chris@69 33 div.multicol {
Chris@69 34 -moz-column-gap: 1em;
Chris@69 35 -webkit-column-gap: 1em;
Chris@69 36 -moz-column-count: 3;
Chris@69 37 -webkit-column-count: 3;
Chris@69 38 }
Chris@69 39
Chris@69 40 p.startli, p.startdd, p.starttd {
Chris@69 41 margin-top: 2px;
Chris@69 42 }
Chris@69 43
Chris@69 44 p.endli {
Chris@69 45 margin-bottom: 0px;
Chris@69 46 }
Chris@69 47
Chris@69 48 p.enddd {
Chris@69 49 margin-bottom: 4px;
Chris@69 50 }
Chris@69 51
Chris@69 52 p.endtd {
Chris@69 53 margin-bottom: 2px;
Chris@69 54 }
Chris@69 55
Chris@69 56 /* @end */
Chris@69 57
Chris@69 58 caption {
Chris@69 59 font-weight: bold;
Chris@69 60 }
Chris@69 61
Chris@69 62 span.legend {
Chris@69 63 font-size: 70%;
Chris@69 64 text-align: center;
Chris@69 65 }
Chris@69 66
Chris@69 67 h3.version {
Chris@69 68 font-size: 90%;
Chris@69 69 text-align: center;
Chris@69 70 }
Chris@69 71
Chris@69 72 div.qindex, div.navtab{
Chris@69 73 background-color: #F1F1F1;
Chris@69 74 border: 1px solid #BDBDBD;
Chris@69 75 text-align: center;
Chris@69 76 }
Chris@69 77
Chris@69 78 div.qindex, div.navpath {
Chris@69 79 width: 100%;
Chris@69 80 line-height: 140%;
Chris@69 81 }
Chris@69 82
Chris@69 83 div.navtab {
Chris@69 84 margin-right: 15px;
Chris@69 85 }
Chris@69 86
Chris@69 87 /* @group Link Styling */
Chris@69 88
Chris@69 89 a {
Chris@69 90 color: #646464;
Chris@69 91 font-weight: normal;
Chris@69 92 text-decoration: none;
Chris@69 93 }
Chris@69 94
Chris@69 95 .contents a:visited {
Chris@69 96 color: #747474;
Chris@69 97 }
Chris@69 98
Chris@69 99 a:hover {
Chris@69 100 text-decoration: underline;
Chris@69 101 }
Chris@69 102
Chris@69 103 a.qindex {
Chris@69 104 font-weight: bold;
Chris@69 105 }
Chris@69 106
Chris@69 107 a.qindexHL {
Chris@69 108 font-weight: bold;
Chris@69 109 background-color: #B8B8B8;
Chris@69 110 color: #ffffff;
Chris@69 111 border: 1px double #A8A8A8;
Chris@69 112 }
Chris@69 113
Chris@69 114 .contents a.qindexHL:visited {
Chris@69 115 color: #ffffff;
Chris@69 116 }
Chris@69 117
Chris@69 118 a.el {
Chris@69 119 font-weight: bold;
Chris@69 120 }
Chris@69 121
Chris@69 122 a.elRef {
Chris@69 123 }
Chris@69 124
Chris@69 125 a.code, a.code:visited {
Chris@69 126 color: #4665A2;
Chris@69 127 }
Chris@69 128
Chris@69 129 a.codeRef, a.codeRef:visited {
Chris@69 130 color: #4665A2;
Chris@69 131 }
Chris@69 132
Chris@69 133 /* @end */
Chris@69 134
Chris@69 135 dl.el {
Chris@69 136 margin-left: -1cm;
Chris@69 137 }
Chris@69 138
Chris@69 139 .fragment {
Chris@69 140 font-family: monospace, fixed;
Chris@69 141 font-size: 105%;
Chris@69 142 }
Chris@69 143
Chris@69 144 pre.fragment {
Chris@69 145 border: 1px solid #D5D5D5;
Chris@69 146 background-color: #FCFCFC;
Chris@69 147 padding: 4px 6px;
Chris@69 148 margin: 4px 8px 4px 2px;
Chris@69 149 overflow: auto;
Chris@69 150 word-wrap: break-word;
Chris@69 151 font-size: 9pt;
Chris@69 152 line-height: 125%;
Chris@69 153 }
Chris@69 154
Chris@69 155 div.ah {
Chris@69 156 background-color: black;
Chris@69 157 font-weight: bold;
Chris@69 158 color: #ffffff;
Chris@69 159 margin-bottom: 3px;
Chris@69 160 margin-top: 3px;
Chris@69 161 padding: 0.2em;
Chris@69 162 border: solid thin #333;
Chris@69 163 border-radius: 0.5em;
Chris@69 164 -webkit-border-radius: .5em;
Chris@69 165 -moz-border-radius: .5em;
Chris@69 166 box-shadow: 2px 2px 3px #999;
Chris@69 167 -webkit-box-shadow: 2px 2px 3px #999;
Chris@69 168 -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
Chris@69 169 background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
Chris@69 170 background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000);
Chris@69 171 }
Chris@69 172
Chris@69 173 div.groupHeader {
Chris@69 174 margin-left: 16px;
Chris@69 175 margin-top: 12px;
Chris@69 176 font-weight: bold;
Chris@69 177 }
Chris@69 178
Chris@69 179 div.groupText {
Chris@69 180 margin-left: 16px;
Chris@69 181 font-style: italic;
Chris@69 182 }
Chris@69 183
Chris@69 184 body {
Chris@69 185 background-color: white;
Chris@69 186 color: black;
Chris@69 187 margin: 0;
Chris@69 188 }
Chris@69 189
Chris@69 190 div.contents {
Chris@69 191 margin-top: 10px;
Chris@69 192 margin-left: 8px;
Chris@69 193 margin-right: 8px;
Chris@69 194 }
Chris@69 195
Chris@69 196 td.indexkey {
Chris@69 197 background-color: #F1F1F1;
Chris@69 198 font-weight: bold;
Chris@69 199 border: 1px solid #D5D5D5;
Chris@69 200 margin: 2px 0px 2px 0;
Chris@69 201 padding: 2px 10px;
Chris@69 202 white-space: nowrap;
Chris@69 203 vertical-align: top;
Chris@69 204 }
Chris@69 205
Chris@69 206 td.indexvalue {
Chris@69 207 background-color: #F1F1F1;
Chris@69 208 border: 1px solid #D5D5D5;
Chris@69 209 padding: 2px 10px;
Chris@69 210 margin: 2px 0px;
Chris@69 211 }
Chris@69 212
Chris@69 213 tr.memlist {
Chris@69 214 background-color: #F2F2F2;
Chris@69 215 }
Chris@69 216
Chris@69 217 p.formulaDsp {
Chris@69 218 text-align: center;
Chris@69 219 }
Chris@69 220
Chris@69 221 img.formulaDsp {
Chris@69 222
Chris@69 223 }
Chris@69 224
Chris@69 225 img.formulaInl {
Chris@69 226 vertical-align: middle;
Chris@69 227 }
Chris@69 228
Chris@69 229 div.center {
Chris@69 230 text-align: center;
Chris@69 231 margin-top: 0px;
Chris@69 232 margin-bottom: 0px;
Chris@69 233 padding: 0px;
Chris@69 234 }
Chris@69 235
Chris@69 236 div.center img {
Chris@69 237 border: 0px;
Chris@69 238 }
Chris@69 239
Chris@69 240 address.footer {
Chris@69 241 text-align: right;
Chris@69 242 padding-right: 12px;
Chris@69 243 }
Chris@69 244
Chris@69 245 img.footer {
Chris@69 246 border: 0px;
Chris@69 247 vertical-align: middle;
Chris@69 248 }
Chris@69 249
Chris@69 250 /* @group Code Colorization */
Chris@69 251
Chris@69 252 span.keyword {
Chris@69 253 color: #008000
Chris@69 254 }
Chris@69 255
Chris@69 256 span.keywordtype {
Chris@69 257 color: #604020
Chris@69 258 }
Chris@69 259
Chris@69 260 span.keywordflow {
Chris@69 261 color: #e08000
Chris@69 262 }
Chris@69 263
Chris@69 264 span.comment {
Chris@69 265 color: #800000
Chris@69 266 }
Chris@69 267
Chris@69 268 span.preprocessor {
Chris@69 269 color: #806020
Chris@69 270 }
Chris@69 271
Chris@69 272 span.stringliteral {
Chris@69 273 color: #002080
Chris@69 274 }
Chris@69 275
Chris@69 276 span.charliteral {
Chris@69 277 color: #008080
Chris@69 278 }
Chris@69 279
Chris@69 280 span.vhdldigit {
Chris@69 281 color: #ff00ff
Chris@69 282 }
Chris@69 283
Chris@69 284 span.vhdlchar {
Chris@69 285 color: #000000
Chris@69 286 }
Chris@69 287
Chris@69 288 span.vhdlkeyword {
Chris@69 289 color: #700070
Chris@69 290 }
Chris@69 291
Chris@69 292 span.vhdllogic {
Chris@69 293 color: #ff0000
Chris@69 294 }
Chris@69 295
Chris@69 296 blockquote {
Chris@69 297 background-color: #F9F9F9;
Chris@69 298 border-left: 2px solid #B8B8B8;
Chris@69 299 margin: 0 24px 0 4px;
Chris@69 300 padding: 0 12px 0 16px;
Chris@69 301 }
Chris@69 302
Chris@69 303 /* @end */
Chris@69 304
Chris@69 305 /*
Chris@69 306 .search {
Chris@69 307 color: #003399;
Chris@69 308 font-weight: bold;
Chris@69 309 }
Chris@69 310
Chris@69 311 form.search {
Chris@69 312 margin-bottom: 0px;
Chris@69 313 margin-top: 0px;
Chris@69 314 }
Chris@69 315
Chris@69 316 input.search {
Chris@69 317 font-size: 75%;
Chris@69 318 color: #000080;
Chris@69 319 font-weight: normal;
Chris@69 320 background-color: #e8eef2;
Chris@69 321 }
Chris@69 322 */
Chris@69 323
Chris@69 324 td.tiny {
Chris@69 325 font-size: 75%;
Chris@69 326 }
Chris@69 327
Chris@69 328 .dirtab {
Chris@69 329 padding: 4px;
Chris@69 330 border-collapse: collapse;
Chris@69 331 border: 1px solid #BDBDBD;
Chris@69 332 }
Chris@69 333
Chris@69 334 th.dirtab {
Chris@69 335 background: #F1F1F1;
Chris@69 336 font-weight: bold;
Chris@69 337 }
Chris@69 338
Chris@69 339 hr {
Chris@69 340 height: 0px;
Chris@69 341 border: none;
Chris@69 342 border-top: 1px solid #7A7A7A;
Chris@69 343 }
Chris@69 344
Chris@69 345 hr.footer {
Chris@69 346 height: 1px;
Chris@69 347 }
Chris@69 348
Chris@69 349 /* @group Member Descriptions */
Chris@69 350
Chris@69 351 table.memberdecls {
Chris@69 352 border-spacing: 0px;
Chris@69 353 padding: 0px;
Chris@69 354 }
Chris@69 355
Chris@69 356 .mdescLeft, .mdescRight,
Chris@69 357 .memItemLeft, .memItemRight,
Chris@69 358 .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
Chris@69 359 background-color: #FAFAFA;
Chris@69 360 border: none;
Chris@69 361 margin: 4px;
Chris@69 362 padding: 1px 0 0 8px;
Chris@69 363 }
Chris@69 364
Chris@69 365 .mdescLeft, .mdescRight {
Chris@69 366 padding: 0px 8px 4px 8px;
Chris@69 367 color: #555;
Chris@69 368 }
Chris@69 369
Chris@69 370 .memItemLeft, .memItemRight, .memTemplParams {
Chris@69 371 border-top: 1px solid #D5D5D5;
Chris@69 372 }
Chris@69 373
Chris@69 374 .memItemLeft, .memTemplItemLeft {
Chris@69 375 white-space: nowrap;
Chris@69 376 }
Chris@69 377
Chris@69 378 .memItemRight {
Chris@69 379 width: 100%;
Chris@69 380 }
Chris@69 381
Chris@69 382 .memTemplParams {
Chris@69 383 color: #747474;
Chris@69 384 white-space: nowrap;
Chris@69 385 }
Chris@69 386
Chris@69 387 /* @end */
Chris@69 388
Chris@69 389 /* @group Member Details */
Chris@69 390
Chris@69 391 /* Styles for detailed member documentation */
Chris@69 392
Chris@69 393 .memtemplate {
Chris@69 394 font-size: 80%;
Chris@69 395 color: #747474;
Chris@69 396 font-weight: normal;
Chris@69 397 margin-left: 9px;
Chris@69 398 }
Chris@69 399
Chris@69 400 .memnav {
Chris@69 401 background-color: #F1F1F1;
Chris@69 402 border: 1px solid #BDBDBD;
Chris@69 403 text-align: center;
Chris@69 404 margin: 2px;
Chris@69 405 margin-right: 15px;
Chris@69 406 padding: 2px;
Chris@69 407 }
Chris@69 408
Chris@69 409 .mempage {
Chris@69 410 width: 100%;
Chris@69 411 }
Chris@69 412
Chris@69 413 .memitem {
Chris@69 414 padding: 0;
Chris@69 415 margin-bottom: 10px;
Chris@69 416 margin-right: 5px;
Chris@69 417 }
Chris@69 418
Chris@69 419 .memname {
Chris@69 420 white-space: nowrap;
Chris@69 421 font-weight: bold;
Chris@69 422 margin-left: 6px;
Chris@69 423 }
Chris@69 424
Chris@69 425 .memproto, dl.reflist dt {
Chris@69 426 border-top: 1px solid #C0C0C0;
Chris@69 427 border-left: 1px solid #C0C0C0;
Chris@69 428 border-right: 1px solid #C0C0C0;
Chris@69 429 padding: 6px 0px 6px 0px;
Chris@69 430 color: #3D3D3D;
Chris@69 431 font-weight: bold;
Chris@69 432 text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
Chris@69 433 /* opera specific markup */
Chris@69 434 box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
Chris@69 435 border-top-right-radius: 8px;
Chris@69 436 border-top-left-radius: 8px;
Chris@69 437 /* firefox specific markup */
Chris@69 438 -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
Chris@69 439 -moz-border-radius-topright: 8px;
Chris@69 440 -moz-border-radius-topleft: 8px;
Chris@69 441 /* webkit specific markup */
Chris@69 442 -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
Chris@69 443 -webkit-border-top-right-radius: 8px;
Chris@69 444 -webkit-border-top-left-radius: 8px;
Chris@69 445 background-image:url('nav_f.png');
Chris@69 446 background-repeat:repeat-x;
Chris@69 447 background-color: #EAEAEA;
Chris@69 448
Chris@69 449 }
Chris@69 450
Chris@69 451 .memdoc, dl.reflist dd {
Chris@69 452 border-bottom: 1px solid #C0C0C0;
Chris@69 453 border-left: 1px solid #C0C0C0;
Chris@69 454 border-right: 1px solid #C0C0C0;
Chris@69 455 padding: 2px 5px;
Chris@69 456 background-color: #FCFCFC;
Chris@69 457 border-top-width: 0;
Chris@69 458 /* opera specific markup */
Chris@69 459 border-bottom-left-radius: 8px;
Chris@69 460 border-bottom-right-radius: 8px;
Chris@69 461 box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
Chris@69 462 /* firefox specific markup */
Chris@69 463 -moz-border-radius-bottomleft: 8px;
Chris@69 464 -moz-border-radius-bottomright: 8px;
Chris@69 465 -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
Chris@69 466 background-image: -moz-linear-gradient(center top, #FFFFFF 0%, #FFFFFF 60%, #F9F9F9 95%, #F2F2F2);
Chris@69 467 /* webkit specific markup */
Chris@69 468 -webkit-border-bottom-left-radius: 8px;
Chris@69 469 -webkit-border-bottom-right-radius: 8px;
Chris@69 470 -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
Chris@69 471 background-image: -webkit-gradient(linear,center top,center bottom,from(#FFFFFF), color-stop(0.6,#FFFFFF), color-stop(0.60,#FFFFFF), color-stop(0.95,#F9F9F9), to(#F2F2F2));
Chris@69 472 }
Chris@69 473
Chris@69 474 dl.reflist dt {
Chris@69 475 padding: 5px;
Chris@69 476 }
Chris@69 477
Chris@69 478 dl.reflist dd {
Chris@69 479 margin: 0px 0px 10px 0px;
Chris@69 480 padding: 5px;
Chris@69 481 }
Chris@69 482
Chris@69 483 .paramkey {
Chris@69 484 text-align: right;
Chris@69 485 }
Chris@69 486
Chris@69 487 .paramtype {
Chris@69 488 white-space: nowrap;
Chris@69 489 }
Chris@69 490
Chris@69 491 .paramname {
Chris@69 492 color: #602020;
Chris@69 493 white-space: nowrap;
Chris@69 494 }
Chris@69 495 .paramname em {
Chris@69 496 font-style: normal;
Chris@69 497 }
Chris@69 498
Chris@69 499 .params, .retval, .exception, .tparams {
Chris@69 500 border-spacing: 6px 2px;
Chris@69 501 }
Chris@69 502
Chris@69 503 .params .paramname, .retval .paramname {
Chris@69 504 font-weight: bold;
Chris@69 505 vertical-align: top;
Chris@69 506 }
Chris@69 507
Chris@69 508 .params .paramtype {
Chris@69 509 font-style: italic;
Chris@69 510 vertical-align: top;
Chris@69 511 }
Chris@69 512
Chris@69 513 .params .paramdir {
Chris@69 514 font-family: "courier new",courier,monospace;
Chris@69 515 vertical-align: top;
Chris@69 516 }
Chris@69 517
Chris@69 518
Chris@69 519
Chris@69 520
Chris@69 521 /* @end */
Chris@69 522
Chris@69 523 /* @group Directory (tree) */
Chris@69 524
Chris@69 525 /* for the tree view */
Chris@69 526
Chris@69 527 .ftvtree {
Chris@69 528 font-family: sans-serif;
Chris@69 529 margin: 0px;
Chris@69 530 }
Chris@69 531
Chris@69 532 /* these are for tree view when used as main index */
Chris@69 533
Chris@69 534 .directory {
Chris@69 535 font-size: 9pt;
Chris@69 536 font-weight: bold;
Chris@69 537 margin: 5px;
Chris@69 538 }
Chris@69 539
Chris@69 540 .directory h3 {
Chris@69 541 margin: 0px;
Chris@69 542 margin-top: 1em;
Chris@69 543 font-size: 11pt;
Chris@69 544 }
Chris@69 545
Chris@69 546 /*
Chris@69 547 The following two styles can be used to replace the root node title
Chris@69 548 with an image of your choice. Simply uncomment the next two styles,
Chris@69 549 specify the name of your image and be sure to set 'height' to the
Chris@69 550 proper pixel height of your image.
Chris@69 551 */
Chris@69 552
Chris@69 553 /*
Chris@69 554 .directory h3.swap {
Chris@69 555 height: 61px;
Chris@69 556 background-repeat: no-repeat;
Chris@69 557 background-image: url("yourimage.gif");
Chris@69 558 }
Chris@69 559 .directory h3.swap span {
Chris@69 560 display: none;
Chris@69 561 }
Chris@69 562 */
Chris@69 563
Chris@69 564 .directory > h3 {
Chris@69 565 margin-top: 0;
Chris@69 566 }
Chris@69 567
Chris@69 568 .directory p {
Chris@69 569 margin: 0px;
Chris@69 570 white-space: nowrap;
Chris@69 571 }
Chris@69 572
Chris@69 573 .directory div {
Chris@69 574 display: none;
Chris@69 575 margin: 0px;
Chris@69 576 }
Chris@69 577
Chris@69 578 .directory img {
Chris@69 579 vertical-align: -30%;
Chris@69 580 }
Chris@69 581
Chris@69 582 /* these are for tree view when not used as main index */
Chris@69 583
Chris@69 584 .directory-alt {
Chris@69 585 font-size: 100%;
Chris@69 586 font-weight: bold;
Chris@69 587 }
Chris@69 588
Chris@69 589 .directory-alt h3 {
Chris@69 590 margin: 0px;
Chris@69 591 margin-top: 1em;
Chris@69 592 font-size: 11pt;
Chris@69 593 }
Chris@69 594
Chris@69 595 .directory-alt > h3 {
Chris@69 596 margin-top: 0;
Chris@69 597 }
Chris@69 598
Chris@69 599 .directory-alt p {
Chris@69 600 margin: 0px;
Chris@69 601 white-space: nowrap;
Chris@69 602 }
Chris@69 603
Chris@69 604 .directory-alt div {
Chris@69 605 display: none;
Chris@69 606 margin: 0px;
Chris@69 607 }
Chris@69 608
Chris@69 609 .directory-alt img {
Chris@69 610 vertical-align: -30%;
Chris@69 611 }
Chris@69 612
Chris@69 613 /* @end */
Chris@69 614
Chris@69 615 div.dynheader {
Chris@69 616 margin-top: 8px;
Chris@69 617 }
Chris@69 618
Chris@69 619 address {
Chris@69 620 font-style: normal;
Chris@69 621 color: #464646;
Chris@69 622 }
Chris@69 623
Chris@69 624 table.doxtable {
Chris@69 625 border-collapse:collapse;
Chris@69 626 margin-top: 4px;
Chris@69 627 margin-bottom: 4px;
Chris@69 628 }
Chris@69 629
Chris@69 630 table.doxtable td, table.doxtable th {
Chris@69 631 border: 1px solid #4A4A4A;
Chris@69 632 padding: 3px 7px 2px;
Chris@69 633 }
Chris@69 634
Chris@69 635 table.doxtable th {
Chris@69 636 background-color: #5B5B5B;
Chris@69 637 color: #FFFFFF;
Chris@69 638 font-size: 110%;
Chris@69 639 padding-bottom: 4px;
Chris@69 640 padding-top: 5px;
Chris@69 641 }
Chris@69 642
Chris@69 643 table.fieldtable {
Chris@69 644 width: 100%;
Chris@69 645 margin-bottom: 10px;
Chris@69 646 border: 1px solid #C0C0C0;
Chris@69 647 border-spacing: 0px;
Chris@69 648 -moz-border-radius: 4px;
Chris@69 649 -webkit-border-radius: 4px;
Chris@69 650 border-radius: 4px;
Chris@69 651 -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
Chris@69 652 -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
Chris@69 653 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
Chris@69 654 }
Chris@69 655
Chris@69 656 .fieldtable td, .fieldtable th {
Chris@69 657 padding: 3px 7px 2px;
Chris@69 658 }
Chris@69 659
Chris@69 660 .fieldtable td.fieldtype, .fieldtable td.fieldname {
Chris@69 661 white-space: nowrap;
Chris@69 662 border-right: 1px solid #C0C0C0;
Chris@69 663 border-bottom: 1px solid #C0C0C0;
Chris@69 664 vertical-align: top;
Chris@69 665 }
Chris@69 666
Chris@69 667 .fieldtable td.fielddoc {
Chris@69 668 border-bottom: 1px solid #C0C0C0;
Chris@69 669 width: 100%;
Chris@69 670 }
Chris@69 671
Chris@69 672 .fieldtable tr:last-child td {
Chris@69 673 border-bottom: none;
Chris@69 674 }
Chris@69 675
Chris@69 676 .fieldtable th {
Chris@69 677 background-image:url('nav_f.png');
Chris@69 678 background-repeat:repeat-x;
Chris@69 679 background-color: #EAEAEA;
Chris@69 680 font-size: 90%;
Chris@69 681 color: #3D3D3D;
Chris@69 682 padding-bottom: 4px;
Chris@69 683 padding-top: 5px;
Chris@69 684 text-align:left;
Chris@69 685 -moz-border-radius-topleft: 4px;
Chris@69 686 -moz-border-radius-topright: 4px;
Chris@69 687 -webkit-border-top-left-radius: 4px;
Chris@69 688 -webkit-border-top-right-radius: 4px;
Chris@69 689 border-top-left-radius: 4px;
Chris@69 690 border-top-right-radius: 4px;
Chris@69 691 border-bottom: 1px solid #C0C0C0;
Chris@69 692 }
Chris@69 693
Chris@69 694
Chris@69 695 .tabsearch {
Chris@69 696 top: 0px;
Chris@69 697 left: 10px;
Chris@69 698 height: 36px;
Chris@69 699 background-image: url('tab_b.png');
Chris@69 700 z-index: 101;
Chris@69 701 overflow: hidden;
Chris@69 702 font-size: 13px;
Chris@69 703 }
Chris@69 704
Chris@69 705 .navpath ul
Chris@69 706 {
Chris@69 707 font-size: 11px;
Chris@69 708 background-image:url('tab_b.png');
Chris@69 709 background-repeat:repeat-x;
Chris@69 710 height:30px;
Chris@69 711 line-height:30px;
Chris@69 712 color:#ABABAB;
Chris@69 713 border:solid 1px #D3D3D3;
Chris@69 714 overflow:hidden;
Chris@69 715 margin:0px;
Chris@69 716 padding:0px;
Chris@69 717 }
Chris@69 718
Chris@69 719 .navpath li
Chris@69 720 {
Chris@69 721 list-style-type:none;
Chris@69 722 float:left;
Chris@69 723 padding-left:10px;
Chris@69 724 padding-right:15px;
Chris@69 725 background-image:url('bc_s.png');
Chris@69 726 background-repeat:no-repeat;
Chris@69 727 background-position:right;
Chris@69 728 color:#595959;
Chris@69 729 }
Chris@69 730
Chris@69 731 .navpath li.navelem a
Chris@69 732 {
Chris@69 733 height:32px;
Chris@69 734 display:block;
Chris@69 735 text-decoration: none;
Chris@69 736 outline: none;
Chris@69 737 }
Chris@69 738
Chris@69 739 .navpath li.navelem a:hover
Chris@69 740 {
Chris@69 741 color:#929292;
Chris@69 742 }
Chris@69 743
Chris@69 744 .navpath li.footer
Chris@69 745 {
Chris@69 746 list-style-type:none;
Chris@69 747 float:right;
Chris@69 748 padding-left:10px;
Chris@69 749 padding-right:15px;
Chris@69 750 background-image:none;
Chris@69 751 background-repeat:no-repeat;
Chris@69 752 background-position:right;
Chris@69 753 color:#595959;
Chris@69 754 font-size: 8pt;
Chris@69 755 }
Chris@69 756
Chris@69 757
Chris@69 758 div.summary
Chris@69 759 {
Chris@69 760 float: right;
Chris@69 761 font-size: 8pt;
Chris@69 762 padding-right: 5px;
Chris@69 763 width: 50%;
Chris@69 764 text-align: right;
Chris@69 765 }
Chris@69 766
Chris@69 767 div.summary a
Chris@69 768 {
Chris@69 769 white-space: nowrap;
Chris@69 770 }
Chris@69 771
Chris@69 772 div.ingroups
Chris@69 773 {
Chris@69 774 margin-left: 5px;
Chris@69 775 font-size: 8pt;
Chris@69 776 padding-left: 5px;
Chris@69 777 width: 50%;
Chris@69 778 text-align: left;
Chris@69 779 }
Chris@69 780
Chris@69 781 div.ingroups a
Chris@69 782 {
Chris@69 783 white-space: nowrap;
Chris@69 784 }
Chris@69 785
Chris@69 786 div.header
Chris@69 787 {
Chris@69 788 background-image:url('nav_h.png');
Chris@69 789 background-repeat:repeat-x;
Chris@69 790 background-color: #FAFAFA;
Chris@69 791 margin: 0px;
Chris@69 792 border-bottom: 1px solid #D5D5D5;
Chris@69 793 }
Chris@69 794
Chris@69 795 div.headertitle
Chris@69 796 {
Chris@69 797 padding: 5px 5px 5px 7px;
Chris@69 798 }
Chris@69 799
Chris@69 800 dl
Chris@69 801 {
Chris@69 802 padding: 0 0 0 10px;
Chris@69 803 }
Chris@69 804
Chris@69 805 /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */
Chris@69 806 dl.section
Chris@69 807 {
Chris@69 808 border-left:4px solid;
Chris@69 809 padding: 0 0 0 6px;
Chris@69 810 }
Chris@69 811
Chris@69 812 dl.note
Chris@69 813 {
Chris@69 814 border-color: #D0C000;
Chris@69 815 }
Chris@69 816
Chris@69 817 dl.warning, dl.attention
Chris@69 818 {
Chris@69 819 border-color: #FF0000;
Chris@69 820 }
Chris@69 821
Chris@69 822 dl.pre, dl.post, dl.invariant
Chris@69 823 {
Chris@69 824 border-color: #00D000;
Chris@69 825 }
Chris@69 826
Chris@69 827 dl.deprecated
Chris@69 828 {
Chris@69 829 border-color: #505050;
Chris@69 830 }
Chris@69 831
Chris@69 832 dl.todo
Chris@69 833 {
Chris@69 834 border-color: #00C0E0;
Chris@69 835 }
Chris@69 836
Chris@69 837 dl.test
Chris@69 838 {
Chris@69 839 border-color: #3030E0;
Chris@69 840 }
Chris@69 841
Chris@69 842 dl.bug
Chris@69 843 {
Chris@69 844 border-color: #C08050;
Chris@69 845 }
Chris@69 846
Chris@69 847 dl.section dd {
Chris@69 848 margin-bottom: 6px;
Chris@69 849 }
Chris@69 850
Chris@69 851
Chris@69 852 #projectlogo
Chris@69 853 {
Chris@69 854 text-align: center;
Chris@69 855 vertical-align: bottom;
Chris@69 856 border-collapse: separate;
Chris@69 857 }
Chris@69 858
Chris@69 859 #projectlogo img
Chris@69 860 {
Chris@69 861 border: 0px none;
Chris@69 862 }
Chris@69 863
Chris@69 864 #projectname
Chris@69 865 {
Chris@69 866 font: 300% Tahoma, Arial,sans-serif;
Chris@69 867 margin: 0px;
Chris@69 868 padding: 2px 0px;
Chris@69 869 }
Chris@69 870
Chris@69 871 #projectbrief
Chris@69 872 {
Chris@69 873 font: 120% Tahoma, Arial,sans-serif;
Chris@69 874 margin: 0px;
Chris@69 875 padding: 0px;
Chris@69 876 }
Chris@69 877
Chris@69 878 #projectnumber
Chris@69 879 {
Chris@69 880 font: 100% Tahoma, Arial,sans-serif;
Chris@69 881 margin: 0px;
Chris@69 882 padding: 0px;
Chris@69 883 }
Chris@69 884
Chris@69 885 #titlearea
Chris@69 886 {
Chris@69 887 padding: 0px;
Chris@69 888 margin: 0px;
Chris@69 889 width: 100%;
Chris@69 890 border-bottom: 1px solid #848484;
Chris@69 891 }
Chris@69 892
Chris@69 893 .image
Chris@69 894 {
Chris@69 895 text-align: center;
Chris@69 896 }
Chris@69 897
Chris@69 898 .dotgraph
Chris@69 899 {
Chris@69 900 text-align: center;
Chris@69 901 }
Chris@69 902
Chris@69 903 .mscgraph
Chris@69 904 {
Chris@69 905 text-align: center;
Chris@69 906 }
Chris@69 907
Chris@69 908 .caption
Chris@69 909 {
Chris@69 910 font-weight: bold;
Chris@69 911 }
Chris@69 912
Chris@69 913 div.zoom
Chris@69 914 {
Chris@69 915 border: 1px solid #AFAFAF;
Chris@69 916 }
Chris@69 917
Chris@69 918 dl.citelist {
Chris@69 919 margin-bottom:50px;
Chris@69 920 }
Chris@69 921
Chris@69 922 dl.citelist dt {
Chris@69 923 color:#545454;
Chris@69 924 float:left;
Chris@69 925 font-weight:bold;
Chris@69 926 margin-right:10px;
Chris@69 927 padding:5px;
Chris@69 928 }
Chris@69 929
Chris@69 930 dl.citelist dd {
Chris@69 931 margin:2px 0;
Chris@69 932 padding:5px 0;
Chris@69 933 }
Chris@69 934
Chris@69 935 div.toc {
Chris@69 936 padding: 14px 25px;
Chris@69 937 background-color: #F7F7F7;
Chris@69 938 border: 1px solid #E3E3E3;
Chris@69 939 border-radius: 7px 7px 7px 7px;
Chris@69 940 float: right;
Chris@69 941 height: auto;
Chris@69 942 margin: 0 20px 10px 10px;
Chris@69 943 width: 200px;
Chris@69 944 }
Chris@69 945
Chris@69 946 div.toc li {
Chris@69 947 background: url("bdwn.png") no-repeat scroll 0 5px transparent;
Chris@69 948 font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
Chris@69 949 margin-top: 5px;
Chris@69 950 padding-left: 10px;
Chris@69 951 padding-top: 2px;
Chris@69 952 }
Chris@69 953
Chris@69 954 div.toc h3 {
Chris@69 955 font: bold 12px/1.2 Arial,FreeSans,sans-serif;
Chris@69 956 color: #747474;
Chris@69 957 border-bottom: 0 none;
Chris@69 958 margin: 0;
Chris@69 959 }
Chris@69 960
Chris@69 961 div.toc ul {
Chris@69 962 list-style: none outside none;
Chris@69 963 border: medium none;
Chris@69 964 padding: 0px;
Chris@69 965 }
Chris@69 966
Chris@69 967 div.toc li.level1 {
Chris@69 968 margin-left: 0px;
Chris@69 969 }
Chris@69 970
Chris@69 971 div.toc li.level2 {
Chris@69 972 margin-left: 15px;
Chris@69 973 }
Chris@69 974
Chris@69 975 div.toc li.level3 {
Chris@69 976 margin-left: 30px;
Chris@69 977 }
Chris@69 978
Chris@69 979 div.toc li.level4 {
Chris@69 980 margin-left: 45px;
Chris@69 981 }
Chris@69 982
Chris@69 983
Chris@69 984 @media print
Chris@69 985 {
Chris@69 986 #top { display: none; }
Chris@69 987 #side-nav { display: none; }
Chris@69 988 #nav-path { display: none; }
Chris@69 989 body { overflow:visible; }
Chris@69 990 h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
Chris@69 991 .summary { display: none; }
Chris@69 992 .memitem { page-break-inside: avoid; }
Chris@69 993 #doc-content
Chris@69 994 {
Chris@69 995 margin-left:0 !important;
Chris@69 996 height:auto !important;
Chris@69 997 width:auto !important;
Chris@69 998 overflow:inherit;
Chris@69 999 display:inline;
Chris@69 1000 }
Chris@69 1001 pre.fragment
Chris@69 1002 {
Chris@69 1003 overflow: visible;
Chris@69 1004 text-wrap: unrestricted;
Chris@69 1005 white-space: -moz-pre-wrap; /* Moz */
Chris@69 1006 white-space: -pre-wrap; /* Opera 4-6 */
Chris@69 1007 white-space: -o-pre-wrap; /* Opera 7 */
Chris@69 1008 white-space: pre-wrap; /* CSS3 */
Chris@69 1009 word-wrap: break-word; /* IE 5.5+ */
Chris@69 1010 }
Chris@69 1011 }