style/dtc-html5.css

   1 /* body */
   2         body {
   3                 color:black;
   4                 font-family:sans-serif;
   5                 font-size:9pt;
   6                 /* font-size:0.750em; */
   7                 line-height:1.4;
   8                 margin:2ex auto;
   9                 width:650px;
  10          }
  11 /* break */
  12         .np {
  13                 page-break-before:always;
  14          }
  15         .avoid-break-inside {
  16                 page-break-inside:avoid;
  17          }
  18         .avoid-break-after {
  19                 page-break-after:avoid;
  20          }
  21 .print-only {
  22         display:none;
  23  }
  24 @media print {
  25         .no-print {
  26                 display:none;
  27          }
  28         span.print-only {
  29                 display:inline !important;
  30          }
  31         div.print-only {
  32                 display:block !important;
  33          }
  34  }
  35 @page:first {
  36         @top-center {
  37                 content:normal;
  38          }
  39         @top-left {
  40                 content:normal;
  41          }
  42         @top-right {
  43                 content:normal;
  44          }
  45  }
  46
  47 /* a */
  48         a {
  49                 color:#C4451D;
  50                 text-decoration:none;
  51          }
  52         a:active {
  53                 color:red !important;
  54                 text-decoration:underline;
  55          }
  56         a:empty {
  57                 margin:0 0 0 0 !important;
  58                 padding:0 0 0 0 !important;
  59          }
  60         @media screen {
  61                 a:hover {
  62                         background-color:#F4F2E2 !important;
  63                         color:#C4451D !important;
  64                         text-decoration:underline !important;
  65                  }
  66                 a:visited {
  67                         color:rgb(171,105,84);
  68                  }
  69                 a:hover[href^="git:"],
  70                 a:hover[href^="http:"],
  71                 a:hover[href^="https:"],
  72                 a:hover[href^="mailto:"],
  73                 a.eref:hover {
  74                         color:blue !important;
  75                         text-decoration:underline;
  76                  }
  77                 a:visited[href^="git:"],
  78                 a:visited[href^="http:"],
  79                 a:visited[href^="https:"],
  80                 a:visited[href^="mailto:"],
  81                 a.eref:visited {
  82                         color:purple !important;
  83                  }
  84          }
  85         .para a, dt a, dd a, li a {
  86                 color:#C4451D;
  87          }
  88         a.smpl {
  89                 color:black;
  90          }
  91         a[href^="git:"],
  92         a[href^="http:"],
  93         a[href^="https:"],
  94         a[href^="mailto:"],
  95         a.eref {
  96                 border-bottom:none;
  97                 color:blue;
  98                 text-decoration:none;
  99          }
 100 /* .bcp14 */
 101         .bcp14 {
 102                 font-style:normal;
 103                 font-variant:small-caps;
 104                 text-transform:lowercase;
 105          }
 106         blockquote > * .bcp14 {
 107                 font-style:italic;
 108          }
 109 /* hi */
 110         span.hi {
 111                 background-color:yellow;
 112          }
 113 /* i */
 114         /* XXX: toggle() somehow included in CSS3,
 115                 but not supported so far by Mozilla/Firefox
 116         em {
 117                 font-style:toggle(italic, normal);
 118          }
 119         */
 120         em.odd {
 121                 font-style:italic;
 122          }
 123         em.even {
 124                 font-style:normal;
 125          }
 126 /* pre */
 127         pre.inline {
 128                 background-color:white;
 129                 padding:0em;
 130                 page-break-inside:auto;
 131          }
 132         pre.text {
 133                 background-color:#f8f8f8;
 134                 border-style:dotted;
 135                 border-width:1px;
 136          }
 137         pre.drawing {
 138                 background-color:#f8f8f8;
 139                 border-style:solid;
 140                 border-width:1px;
 141                 padding:2em;
 142          }
 143         code, pre, samp, tt {
 144                 background-color:#F4F2E2;
 145                 font-family:monospace;
 146                 font-size:90%;
 147                 margin:0 0 0 0;
 148                 /* page-break-inside:avoid; */
 149                 white-space:pre-line;
 150          }
 151         pre {
 152                 white-space:pre;
 153          }
 154         @media print {
 155                 pre {
 156                         white-space:pre-wrap;
 157                  }
 158          }
 159 /* q */
 160         q:after,
 161         q:before {
 162                 content:"";
 163          }
 164 /* cite */
 165         cite {
 166                 font-style:normal;
 167          }
 168 /* .ref-needed */
 169         .ref-needed {
 170                 font-size:50%;
 171                 color:red;
 172          }
 173 /* .sc */
 174         span.sc {
 175                 font-variant:small-caps;
 176          }
 177 /* sub/sup */
 178         sup {
 179                 font-size:80%;
 180          }
 181         sub {
 182                 font-size:80%;
 183          }
 184 /* .tt */
 185         span.tt {
 186                 font-family:monospace;
 187                 /* font-size:95%; */
 188                 font-size:1.3em;
 189          }
 190 /* .section */
 191         .section {
 192                 clear:both;
 193                 margin-top:2ex;
 194                 page-break-after:auto;
 195                 page-break-before:auto;
 196                 page-break-inside:avoid;
 197          }
 198         .section > section,
 199         .section > *:first-child {
 200                 margin-left:0em;
 201          }
 202         .section > * {
 203                 margin-left:2em;
 204          }
 205         .section-header {
 206                 border-spacing:0;
 207                 margin:0 0 1ex 0;
 208                 padding:0 0 0 0;
 209                 page-break-after:avoid;
 210          }
 211         .section-header .section-number {
 212                 font-weight:bold;
 213                 padding-right:1ex;
 214          }
 215         .section-title {
 216                 font-family:sans-serif;
 217          }
 218         .section-header > tbody > tr > td {
 219                 vertical-align:top;
 220          }
 221         .alias:target   ~ .section-header        .section-number,
 222         .section:target > .section-header        .section-number,
 223         .section        > .section-header:target .section-number {
 224                 background-color:#BFEFFF;
 225          }
 226         .section-judgment {
 227          }
 228         .section.page-break {
 229                 page-break-before:always;
 230          }
 231         .section.multi-pages {
 232                 page-break-inside:auto;
 233          }
 234         .section.single-page {
 235                 page-break-inside:avoid;
 236          }
 237         hr.section {
 238                 clear:left;
 239          }
 240         hr.pagebreak {
 241                 page-break-before:always;
 242          }
 243         div.title {
 244                 margin-bottom:2ex;
 245                 margin-top:2ex;
 246          }
 247         div.title > h1 {
 248                 font-size:100%;
 249                 margin:0.1ex 0 0 0;
 250                 padding:0 0 0 0;
 251                 text-align:center;
 252          }
 253         div.title > h1:first-child {
 254                 color:white;
 255                 background-color:black;
 256                 font-size:150%;
 257                 font-weight:bold;
 258                 line-height:18pt;
 259          }
 260         div.title > h1:target {
 261                 background-color:#BFEFFF;
 262          }
 263         .section .section-header {
 264                 font-size:130%;
 265                 line-height:21pt;
 266          }
 267         .section .section .section-header {
 268                 font-size:120%;
 269                 line-height:15pt;
 270          }
 271         .section .section .section .section-header {
 272                 font-size:115%;
 273          }
 274         .figure-content > .section {
 275                 margin-top:0 !important;
 276          }
 277         .figure-content > .section + .section {
 278                 margin-top:2ex !important;
 279          }
 280         h2, h3, h4, h5, h6 {
 281                 font-size:inherit;
 282                 line-height:inherit;
 283                 margin:0 0 0 0;
 284                 padding:0 0 0 0;
 285          }
 286 /* p */
 287         p {
 288                 margin:0 0 0 0;
 289                 padding:0 0 0 0;
 290          }
 291 /* .para */
 292         .para {
 293                 margin-top:2ex;
 294          }
 295         .para:first-child,
 296         a + .para,
 297         .section-header + .para {
 298                 margin-top:0;
 299          }
 300         .para.center {
 301                 text-align:center;
 302          }
 303         .para > p {
 304                 text-align:justify;
 305          }
 306         .para > * {
 307                 margin-top:0;
 308                 margin-bottom:0;
 309          }
 310         br.para {
 311                 line-height:150%;
 312          }
 313 /* .self */
 314         .self {
 315                 color:#999999;
 316                 font-style:normal;
 317                 margin-left:.3em;
 318                 position:absolute; /* NOTE: avoid bottom margin  */
 319                 text-decoration:none;
 320                 visibility:hidden;
 321                 /* XXX: not standard CSS yet  */
 322                 -moz-user-select:none;
 323                 -ms-user-select:none;
 324                 -webkit-user-select:none;
 325          }
 326         .self:hover {
 327                 text-decoration:none;
 328          }
 329         .para:hover .self,
 330         dt:hover .self {
 331                 visibility:visible;
 332          }
 333 /* .figure */
 334         .figure {
 335                 margin-top:1.5ex;
 336                 margin-bottom:1.5ex;
 337                 page-break-before:auto;
 338                 page-break-inside:avoid;
 339                 page-break-after:auto;
 340          }
 341         .section-header + .figure,
 342         .figure:first-child {
 343                 margin-top:0;
 344          }
 345         /*
 346         .para + .figure {
 347                 margin-top:1.5ex;
 348          }
 349         */
 350         .figure:last-child {
 351                 margin-bottom:0;
 352          }
 353         .figure table.figure-caption {
 354                 border-spacing:0;
 355                 margin-top:0;
 356                 /*margin-bottom:0.5ex;*/
 357          }
 358         .figure table.figure-caption > tbody > tr > td {
 359                 padding:0 0 0 0;
 360          }
 361         .figure .figure-caption .figure-number {
 362                 font-weight:bold;
 363                 vertical-align:top;
 364          }
 365         .figure .figure-caption .figure-colon {
 366                 font-weight:bold;
 367                 vertical-align:top;
 368          }
 369         .figure .figure-caption .figure-title {
 370                 padding-left:1ex;
 371                 text-align:left;
 372                 vertical-align:middle;
 373          }
 374         .figure .figure-content {
 375                 border-left:5px solid black;
 376                 /* overflow:auto; */
 377                 padding:0 0 0 1em;
 378          }
 379         .figure:target > table.figure-caption > tbody > tr > td.figure-number > a {
 380                 background-color:#BFEFFF;
 381          }
 382 /* .quote */
 383         .quote {
 384                 border-left: 3px solid blue;
 385                 padding-left: 1ex;
 386          }
 387 /* .ul */
 388         .ul {
 389                 padding-left:0;
 390          }
 391         dl.ul > dt {
 392                 float:left;
 393          }
 394         dl.ul > dd {
 395                 margin-left:1.5em;
 396                 clear:none;
 397          }
 398 /* .ol */
 399         .ol {
 400                 padding-left:0;
 401          }
 402         .ol.la {
 403                 list-style-type:lower-alpha;
 404          }
 405         .ol.ua {
 406                 list-style-type:upper-alpha;
 407          }
 408         dl.ol > dt {
 409                 float:left;
 410                 margin-right:1ex;
 411          }
 412         dl.ol > dd {
 413                 margin-left:1.5em;
 414                 clear:none;
 415          }
 416         table.ol {
 417                 border-spacing:1px;
 418          }
 419         table.ol > tbody > tr > td {
 420                 padding:0;
 421                 vertical-align:top;
 422          }
 423         table.ol > tbody > tr > td.name {
 424                 text-align:right;
 425          }
 426         table.ol > tbody > tr > td.value {
 427                 padding-left:1ex;
 428                 clear:none;
 429          }
 430 /* li */
 431         ul.ul > li,
 432         ol.ol > li {
 433                 margin-left:2em;
 434                 text-align:justify;
 435          }
 436 /* .dl */
 437         .dl {
 438          }
 439         dl.dl > dt {
 440                 float:left;
 441                 font-weight:bold;
 442                 margin-right:1em;
 443          }
 444         dl.dl.nohang > dt {
 445                 float:none;
 446          }
 447         dl.dl > dd {
 448                 clear:left;
 449                 margin-bottom:.5em;
 450                 text-align:justify;
 451          }
 452         dl.dl.compact > dd {
 453                 margin-bottom:.0em;
 454          }
 455         dl.dl > dd > dl.dl {
 456                 margin-top:0.5em;
 457          }
 458 /* .notes */
 459         .notes > hr {
 460                 border:none;
 461                 border-top:1px solid black;
 462                 color:black;
 463                 margin-left:0;
 464                 width:33%;
 465          }
 466         .notes {
 467                 margin-left:0;
 468          }
 469         .notes > table > tbody > tr > td {
 470                 vertical-align:top;
 471          }
 472         /* .note-ref */
 473                 .note-ref {
 474                         white-space:pre;
 475                  }
 476         /* .note-numbers */
 477                 sup.note-numbers {
 478                         font-size:66%;
 479                         margin-left:2px;
 480                  }
 481                 sup.note-numbers > a,
 482                 .note-ref > a {
 483                         color:black;
 484                         font-weight:bold;
 485                  }
 486                 @media screen {
 487                         sup.note-numbers > a:visited,
 488                         .note-ref > a:visited {
 489                                 color:gray !important;
 490                          }
 491                         sup.note-numbers > a:hover,
 492                         .note-ref > a:hover {
 493                                 color:black !important;
 494                          }
 495                         sup.note-numbers > :target {
 496                                 background-color:#BFEFFF;
 497                          }
 498                         .notes > table > tbody > tr > td:target .note-number,
 499                         .notes > table > tbody > tr > td > :target.note-number {
 500                                 background-color:#BFEFFF;
 501                          }
 502                  }
 503 /* .references */
 504         .references {
 505                 margin-top:1ex;
 506          }
 507         .references:first-child {
 508                 margin-top:0;
 509          }
 510         .references > table {
 511                 border-collapse:separate;
 512                 border-spacing:0;
 513          }
 514         .references > table > tbody > tr + tr > td {
 515                 padding-top:1ex;
 516          }
 517         .reference-key {
 518                 padding-left:0;
 519                 padding-right:1em;
 520                 vertical-align:top;
 521          }
 522         .reference-content {
 523                 text-align:justify;
 524          }
 525         .reference-content > .reference-url {
 526          }
 527         .reference-content > .ref-backs {
 528                 //margin-left:1ex;
 529          }
 530         .reference-content > .ref-backs > .ref-back {
 531                 background-color:#F4F2E2;
 532                 font-size:70%;
 533                 line-height:0;
 534                 position:relative;
 535                 vertical-align:baseline;
 536          }
 537         td.reference {
 538                 vertical-align:top;
 539                 white-space:nowrap;
 540                 padding-right:1em;
 541          }
 542 /* .at */
 543         .at:target {
 544                 background-color:#BFEFFF;
 545          }
 546         .at-unknown {
 547                 display:inline-box;
 548                 text-decoration-line:underline;
 549                 text-decoration-color:#C4451D;
 550                 text-decoration-style:solid;
 551          }
 552         .at-ambiguous {
 553                 display:inline-box;
 554                 text-decoration-line:underline overline;
 555                 text-decoration-color:#C4451D;
 556                 text-decoration-style:double;
 557          }
 558         .at-backs > .at-back {
 559                 background-color:#F4F2E2;
 560                 font-size:70%;
 561                 line-height:0;
 562                 position:relative;
 563                 vertical-align:baseline;
 564          }
 565 /* .tag */
 566         .tag {
 567                 color:#326B6B;
 568          }
 569         .tag:target {
 570                 background-color:#BFEFFF;
 571          }
 572         .tag-backs > .tag-back {
 573                 background-color:#F4F2E2;
 574                 font-size:70%;
 575                 line-height:0;
 576                 position:relative;
 577                 vertical-align:baseline;
 578          }
 579 /* .reference */
 580         .reference {
 581                 white-space:pre;
 582          }
 583         .reference:target {
 584                 background-color:#BFEFFF;
 585          }
 586         .reference-unknown {
 587                 display:inline-box;
 588                 text-decoration-line:line-through;
 589                 text-decoration-color:red;
 590                 text-decoration-style:solid;
 591          }
 592         .reference-ambiguous {
 593                 display:inline-box;
 594                 text-decoration-line:line-through;
 595                 text-decoration-color:red;
 596                 text-decoration-style:double;
 597          }
 598 /* .page-ref */
 599         .page-ref .at {
 600                 color:green;
 601          }
 602         .page-ref .page-path {
 603                 font-size:70%;
 604          }
 605         .page-ref .page-path > a {
 606                 color:inherit;
 607          }
 608 /* .shortcuts */
 609         ul.shortcuts {
 610                 list-style-type:none;
 611                 margin:0 0 0 0;
 612                 padding:0 0 0 0;
 613                 position:fixed;
 614                 right:0.5ex;
 615                 top:0.5ex;
 616                 z-index:9999;
 617          }
 618         ul.shortcuts > li {
 619                 text-align:right;
 620                 line-height:1.2;
 621                 margin-bottom:0.5ex;
 622          }
 623         ul.shortcuts > li > a.shortcut {
 624                 background:white;
 625                 border:1px solid black;
 626                 padding:0 1ex 0 1ex;
 627          }
 628         @media print {
 629                 ul.shortcuts {
 630                         display:none;
 631                  }
 632          }
 633 /* .toc */
 634         .toc {
 635                 background-color:#FFFFF0;
 636                 border:1px solid black;
 637                 /*margin-left:0 !important;*/
 638                 margin-top:1ex;
 639                 padding:1ex 2em 1.5ex 2em;
 640          }
 641         .toc .toc-name {
 642                 font-size:120%;
 643                 font-weight:bold;
 644          }
 645         .toc > ul {
 646                 margin-top:0;
 647          }
 648         .toc li:last-child > ul:last-child {
 649                 padding-bottom:0;
 650          }
 651         .toc ul {
 652                 list-style:none;
 653                 margin-bottom:0;
 654                 margin-left:1em;
 655                 padding-bottom:0;
 656                 padding-left:0em;
 657                 padding-top:0;
 658          }
 659         .toc.no-indent ul > li > ul {
 660                 margin-left:0;
 661          }
 662         .toc ul > li {
 663                 line-height:1.3;
 664                 font-weight:bold;
 665                 margin-left:0em;
 666                 margin-top:0;
 667          }
 668         .toc .toc-entry {
 669                 border-spacing:0;
 670          }
 671         .toc .toc-entry > tbody > tr > td {
 672                 padding:0 0 0 0;
 673                 vertical-align:top;
 674          }
 675         .toc .toc-entry .section-number {
 676                 padding-right:1ex;
 677          }
 678         .toc ul > li > ul {
 679                 padding-bottom:1ex;
 680                 padding-top:1ex;
 681          }
 682         .toc.no-vspace ul > li > ul {
 683                 padding-bottom:0;
 684                 padding-top:0;
 685          }
 686         .toc ul > li > ul > li {
 687                 font-weight:normal;
 688                 line-height:normal;
 689                 margin-left:0em;
 690          }
 691         @media print {
 692                 ul.toc a:last-child::after {
 693                         content:leader('.') target-counter(attr(href), page);
 694                  }
 695          }
 696 /* .tof */
 697         .tof {
 698                 list-style:none;
 699                 padding-left:0;
 700          }
 701         .tof .figure-number {
 702                 vertical-align:top;
 703                 padding-right:1em;
 704          }
 705         .tof h2 {
 706                 margin-bottom:1ex;
 707          }
 708         .tof .figure-number {
 709                 font-weight:bold;
 710                 margin-right:1ex;
 711          }
 712         .tof .figure-title {
 713          }
 714 /* .headers */
 715         table.headers {
 716                 border-collapse:collapse;
 717                 border-spacing:0;
 718                 border:1px solid black;
 719                 /* color:white; */
 720                 line-height:1.4;
 721                 margin-left:auto;
 722                 margin-right:auto;
 723                 width:100%;
 724          }
 725         table.headers > * > tr:first-child > td,
 726         table.headers > * > tr:first-child > th {
 727                 background-color:#F4F2E2;
 728                 border:1px solid white;
 729                 padding:0;
 730                 /*
 731                 padding-left:0.5em;
 732                 padding-right:0.5em;
 733                 */
 734                 vertical-align:top;
 735          }
 736         table.headers td.left {
 737                 padding:0 0 0 0;
 738                 text-align:left;
 739          }
 740         table.headers td.right {
 741                 padding-left:0;
 742                 padding-right:0.5em;
 743                 text-align:right;
 744          }
 745         /* borders */
 746                 table.headers > * > tr:first-child > td,
 747                 table.headers > * > tr:first-child > th {
 748                         border-top:1px solid black;
 749                  }
 750                 table.headers > * > tr:last-child > td,
 751                 table.headers > * > tr:last-child > th {
 752                         border-bottom:1px solid black;
 753                  }
 754                 table.headers > * > tr > td:first-child,
 755                 table.headers > * > tr > th:first-child {
 756                         border-left:1px solid black;
 757                  }
 758                 table.headers > * > tr > td:last-child,
 759                 table.headers > * > tr > th:last-child {
 760                         border-right:1px solid black;
 761                  }
 762 /* .document-head */
 763         .document-head {
 764                 border:1px solid black;
 765          }
 766         .document-head > table {
 767                 border-collapse:collapse;
 768                 border-spacing:0;
 769                 border:1px solid white;
 770                 background-color:#F4F2E2;
 771                 line-height:1.4;
 772                 margin-left:auto;
 773                 margin-right:auto;
 774                 width:100%;
 775          }
 776         .document-head > table > tbody > tr > td {
 777                 border:1px solid white;
 778                 padding:0;
 779                 vertical-align:top;
 780                 width:50%;
 781          }
 782         .document-head > table > tbody > tr > td.left {
 783          }
 784         .document-head > table > tbody > tr > td.right {
 785          }
 786         .document-head > table > tbody > tr > td.full {
 787          }
 788         .document-head > table div.artwork.artwork-type-image {
 789                 border:0;
 790                 display:inline-block;
 791                 vertical-align:middle;
 792          }
 793         /* .document-headers */
 794                 table.document-headers {
 795                         border-spacing:0;
 796                         border-collapse:collapse;
 797                  }
 798                 table.document-headers > tbody > tr.header {
 799                         border-bottom:1px solid white;
 800                  }
 801                 table.document-authors > tbody > tr.header:last-child {
 802                         border-top:none;
 803                  }
 804                 table.document-headers > tbody > tr.header > td {
 805                         vertical-align:top;
 806                         line-height:1.2;
 807                  }
 808                 .document-head .header-name,
 809                 table.document-headers > tbody > tr.header > td.header-name {
 810                         padding-left:0.5em;
 811                         font-weight:bold;
 812                  }
 813                 table.document-headers > tbody > tr.header > td.header-value {
 814                         padding-left:1em;
 815                         width:100%;
 816                  }
 817         /* document-authors */
 818                 table.document-authors {
 819                         border-collapse:collapse;
 820                         border-spacing:0;
 821                         width:100%;
 822                  }
 823                 table.document-authors > tbody > tr {
 824                         border-bottom:1px solid white;
 825                  }
 826                 table.document-authors > tbody > tr:first-child {
 827                         border-top:none;
 828                  }
 829                 table.document-authors > tbody > tr > td.author {
 830                         line-height:1.2;
 831                         padding-right:0.5em;
 832                         text-align:right;
 833                         vertical-align:top;
 834                         width:100%;
 835                  }
 836 /* .aside */
 837         .aside {
 838                 background-color:white;
 839                 border:1px solid black;
 840                 clear:right;
 841                 float:right;
 842                 hyphens:auto;
 843                 margin:1ex 0 1ex 2em !important;
 844                 padding: 0.5ex 1ex 0.5ex 1ex;
 845                 position:relative;
 846                 width:33%;
 847          }
 848         .aside .figure-content {
 849                 border-left:0 !important;
 850                 padding-left:0 !important;
 851          }