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:green;
 255                 font-size:150%;
 256                 font-weight:bold;
 257                 line-height:18pt;
 258          }
 259         div.title > h1:target {
 260                 background-color:#BFEFFF;
 261          }
 262         .section .section-header {
 263                 font-size:130%;
 264                 line-height:21pt;
 265          }
 266         .section .section .section-header {
 267                 font-size:120%;
 268                 line-height:15pt;
 269          }
 270         .section .section .section .section-header {
 271                 font-size:115%;
 272          }
 273         .figure-content > .section {
 274                 margin-top:0 !important;
 275          }
 276         .figure-content > .section + .section {
 277                 margin-top:2ex !important;
 278          }
 279         h2, h3, h4, h5, h6 {
 280                 font-size:inherit;
 281                 line-height:inherit;
 282                 margin:0 0 0 0;
 283                 padding:0 0 0 0;
 284          }
 285 /* p */
 286         p {
 287                 margin:0 0 0 0;
 288                 padding:0 0 0 0;
 289          }
 290 /* .para */
 291         .para {
 292                 margin-top:2ex;
 293          }
 294         .para:first-child,
 295         a + .para,
 296         .section-header + .para {
 297                 margin-top:0;
 298          }
 299         .para.center {
 300                 text-align:center;
 301          }
 302         .para > p {
 303                 text-align:justify;
 304          }
 305         .para > * {
 306                 margin-top:0;
 307                 margin-bottom:0;
 308          }
 309         br.para {
 310                 line-height:150%;
 311          }
 312 /* .self */
 313         .self {
 314                 color:#999999;
 315                 font-style:normal;
 316                 margin-left:.3em;
 317                 position:absolute; /* NOTE: avoid bottom margin  */
 318                 text-decoration:none;
 319                 visibility:hidden;
 320                 /* XXX: not standard CSS yet  */
 321                 -moz-user-select:none;
 322                 -ms-user-select:none;
 323                 -webkit-user-select:none;
 324          }
 325         .self:hover {
 326                 text-decoration:none;
 327          }
 328         .para:hover .self,
 329         dt:hover .self {
 330                 visibility:visible;
 331          }
 332 /* .figure */
 333         .figure {
 334                 margin-top:1.5ex;
 335                 margin-bottom:1.5ex;
 336                 page-break-before:auto;
 337                 page-break-inside:avoid;
 338                 page-break-after:auto;
 339          }
 340         .section-header + .figure,
 341         .figure:first-child {
 342                 margin-top:0;
 343          }
 344         /*
 345         .para + .figure {
 346                 margin-top:1.5ex;
 347          }
 348         */
 349         .figure:last-child {
 350                 margin-bottom:0;
 351          }
 352         .figure table.figure-caption {
 353                 border-spacing:0;
 354                 margin-top:0;
 355                 /*margin-bottom:0.5ex;*/
 356          }
 357         .figure table.figure-caption > tbody > tr > td {
 358                 padding:0 0 0 0;
 359          }
 360         .figure .figure-caption .figure-number {
 361                 font-weight:bold;
 362                 vertical-align:top;
 363          }
 364         .figure .figure-caption .figure-colon {
 365                 font-weight:bold;
 366                 vertical-align:top;
 367          }
 368         .figure .figure-caption .figure-title {
 369                 padding-left:1ex;
 370                 text-align:left;
 371                 vertical-align:middle;
 372          }
 373         .figure .figure-content {
 374                 border-left:5px solid black;
 375                 /* overflow:auto; */
 376                 padding:0 0 0 1em;
 377          }
 378         .figure:target > table.figure-caption > tbody > tr > td.figure-number > a {
 379                 background-color:#BFEFFF;
 380          }
 381 /* .quote */
 382         .quote {
 383                 border-left: 3px solid blue;
 384                 padding-left: 1ex;
 385          }
 386 /* .ul */
 387         .ul {
 388                 padding-left:0;
 389          }
 390         dl.ul > dt {
 391                 float:left;
 392          }
 393         dl.ul > dd {
 394                 margin-left:1.5em;
 395                 clear:none;
 396          }
 397 /* .ol */
 398         .ol {
 399                 padding-left:0;
 400          }
 401         .ol.la {
 402                 list-style-type:lower-alpha;
 403          }
 404         .ol.ua {
 405                 list-style-type:upper-alpha;
 406          }
 407         dl.ol > dt {
 408                 float:left;
 409                 margin-right:1ex;
 410          }
 411         dl.ol > dd {
 412                 margin-left:1.5em;
 413                 clear:none;
 414          }
 415         table.ol {
 416                 border-spacing:1px;
 417          }
 418         table.ol > tbody > tr > td {
 419                 padding:0;
 420                 vertical-align:top;
 421          }
 422         table.ol > tbody > tr > td.name {
 423                 text-align:right;
 424          }
 425         table.ol > tbody > tr > td.value {
 426                 padding-left:1ex;
 427                 clear:none;
 428          }
 429 /* li */
 430         ul.ul > li,
 431         ol.ol > li {
 432                 margin-left:2em;
 433                 text-align:justify;
 434          }
 435 /* .dl */
 436         .dl {
 437          }
 438         dl.dl > dt {
 439                 float:left;
 440                 font-weight:bold;
 441                 margin-right:1em;
 442          }
 443         dl.dl.nohang > dt {
 444                 float:none;
 445          }
 446         dl.dl > dd {
 447                 clear:left;
 448                 margin-bottom:.5em;
 449                 text-align:justify;
 450          }
 451         dl.dl.compact > dd {
 452                 margin-bottom:.0em;
 453          }
 454         dl.dl > dd > dl.dl {
 455                 margin-top:0.5em;
 456          }
 457 /* .notes */
 458         .notes > hr {
 459                 border:none;
 460                 border-top:1px solid black;
 461                 color:black;
 462                 margin-left:0;
 463                 width:33%;
 464          }
 465         .notes {
 466                 margin-left:0;
 467          }
 468         .notes > table > tbody > tr > td {
 469                 vertical-align:top;
 470          }
 471         /* .note-ref */
 472                 .note-ref {
 473                         white-space:pre;
 474                  }
 475         /* .note-numbers */
 476                 sup.note-numbers {
 477                         font-size:66%;
 478                         margin-left:2px;
 479                  }
 480                 sup.note-numbers > a,
 481                 .note-ref > a {
 482                         color:black;
 483                         font-weight:bold;
 484                  }
 485                 @media screen {
 486                         sup.note-numbers > a:visited,
 487                         .note-ref > a:visited {
 488                                 color:gray !important;
 489                          }
 490                         sup.note-numbers > a:hover,
 491                         .note-ref > a:hover {
 492                                 color:black !important;
 493                          }
 494                         sup.note-numbers > :target {
 495                                 background-color:#BFEFFF;
 496                          }
 497                         .notes > table > tbody > tr > td:target .note-number,
 498                         .notes > table > tbody > tr > td > :target.note-number {
 499                                 background-color:#BFEFFF;
 500                          }
 501                  }
 502 /* .references */
 503         .references {
 504                 margin-top:1ex;
 505          }
 506         .references:first-child {
 507                 margin-top:0;
 508          }
 509         .references > table {
 510                 border-collapse:separate;
 511                 border-spacing:0;
 512          }
 513         .references > table > tbody > tr + tr > td {
 514                 padding-top:1ex;
 515          }
 516         .reference-key {
 517                 padding-left:0;
 518                 padding-right:1em;
 519                 vertical-align:top;
 520          }
 521         .reference-content {
 522                 text-align:justify;
 523          }
 524         .reference-content > .reference-url {
 525          }
 526         .reference-content > .reference-rrefs {
 527                 //margin-left:1ex;
 528          }
 529         .reference-content > .reference-rrefs > .reference-rref {
 530                 background-color:#F4F2E2;
 531                 font-size:70%;
 532                 line-height:0;
 533                 position:relative;
 534                 vertical-align:baseline;
 535          }
 536         td.reference {
 537                 vertical-align:top;
 538                 white-space:nowrap;
 539                 padding-right:1em;
 540          }
 541 /* .tag */
 542         .tag:target {
 543                 background-color:#BFEFFF;
 544          }
 545         .tag-unknown {
 546                 display:inline-box;
 547                 text-decoration-line:underline;
 548                 text-decoration-color:#C4451D;
 549                 text-decoration-style:solid;
 550          }
 551         .tag-ambiguous {
 552                 display:inline-box;
 553                 text-decoration-line:underline overline;
 554                 text-decoration-color:#C4451D;
 555                 text-decoration-style:double;
 556          }
 557 /* .rref */
 558         .reference {
 559                 white-space:pre;
 560          }
 561         .reference:target {
 562                 background-color:#BFEFFF;
 563          }
 564         .reference-unknown {
 565                 display:inline-box;
 566                 text-decoration-line:line-through;
 567                 text-decoration-color:red;
 568                 text-decoration-style:solid;
 569          }
 570         .reference-ambiguous {
 571                 display:inline-box;
 572                 text-decoration-line:line-through;
 573                 text-decoration-color:red;
 574                 text-decoration-style:double;
 575          }
 576 /* .shortcuts */
 577         ul.shortcuts {
 578                 list-style-type:none;
 579                 margin:0 0 0 0;
 580                 padding:0 0 0 0;
 581                 position:fixed;
 582                 right:0.5ex;
 583                 top:0.5ex;
 584                 z-index:9999;
 585          }
 586         ul.shortcuts > li {
 587                 text-align:right;
 588                 line-height:1.2;
 589                 margin-bottom:0.5ex;
 590          }
 591         ul.shortcuts > li > a.shortcut {
 592                 background:white;
 593                 border:1px solid black;
 594                 padding:0 1ex 0 1ex;
 595          }
 596         @media print {
 597                 ul.shortcuts {
 598                         display:none;
 599                  }
 600          }
 601 /* .toc */
 602         .toc {
 603                 background-color:#FFFFF0;
 604                 border:1px solid black;
 605                 /*margin-left:0 !important;*/
 606                 margin-top:1ex;
 607                 padding:1ex 2em 1.5ex 2em;
 608          }
 609         .toc .toc-name {
 610                 font-size:120%;
 611                 font-weight:bold;
 612          }
 613         .toc > ul {
 614                 margin-top:0;
 615          }
 616         .toc li:last-child > ul:last-child {
 617                 padding-bottom:0;
 618          }
 619         .toc ul {
 620                 list-style:none;
 621                 margin-bottom:0;
 622                 margin-left:1em;
 623                 padding-bottom:0;
 624                 padding-left:0em;
 625                 padding-top:0;
 626          }
 627         .toc.no-indent ul > li > ul {
 628                 margin-left:0;
 629          }
 630         .toc ul > li {
 631                 line-height:1.3;
 632                 font-weight:bold;
 633                 margin-left:0em;
 634                 margin-top:0;
 635          }
 636         .toc .toc-entry {
 637                 border-spacing:0;
 638          }
 639         .toc .toc-entry > tbody > tr > td {
 640                 padding:0 0 0 0;
 641                 vertical-align:top;
 642          }
 643         .toc .toc-entry .section-number {
 644                 padding-right:1ex;
 645          }
 646         .toc ul > li > ul {
 647                 padding-bottom:1ex;
 648                 padding-top:1ex;
 649          }
 650         .toc.no-vspace ul > li > ul {
 651                 padding-bottom:0;
 652                 padding-top:0;
 653          }
 654         .toc ul > li > ul > li {
 655                 font-weight:normal;
 656                 line-height:normal;
 657                 margin-left:0em;
 658          }
 659         @media print {
 660                 ul.toc a:last-child::after {
 661                         content:leader('.') target-counter(attr(href), page);
 662                  }
 663          }
 664 /* .tof */
 665         .tof {
 666                 list-style:none;
 667                 padding-left:0;
 668          }
 669         .tof .figure-number {
 670                 vertical-align:top;
 671                 padding-right:1em;
 672          }
 673         .tof h2 {
 674                 margin-bottom:1ex;
 675          }
 676         .tof .figure-number {
 677                 font-weight:bold;
 678                 margin-right:1ex;
 679          }
 680         .tof .figure-title {
 681          }
 682 /* .headers */
 683         table.headers {
 684                 border-collapse:collapse;
 685                 border-spacing:0;
 686                 border:1px solid black;
 687                 /* color:white; */
 688                 line-height:1.4;
 689                 margin-left:auto;
 690                 margin-right:auto;
 691                 width:100%;
 692          }
 693         table.headers > * > tr:first-child > td,
 694         table.headers > * > tr:first-child > th {
 695                 background-color:#F4F2E2;
 696                 border:1px solid white;
 697                 padding:0;
 698                 /*
 699                 padding-left:0.5em;
 700                 padding-right:0.5em;
 701                 */
 702                 vertical-align:top;
 703          }
 704         table.headers td.left {
 705                 padding:0 0 0 0;
 706                 text-align:left;
 707          }
 708         table.headers td.right {
 709                 padding-left:0;
 710                 padding-right:0.5em;
 711                 text-align:right;
 712          }
 713         /* borders */
 714                 table.headers > * > tr:first-child > td,
 715                 table.headers > * > tr:first-child > th {
 716                         border-top:1px solid black;
 717                  }
 718                 table.headers > * > tr:last-child > td,
 719                 table.headers > * > tr:last-child > th {
 720                         border-bottom:1px solid black;
 721                  }
 722                 table.headers > * > tr > td:first-child,
 723                 table.headers > * > tr > th:first-child {
 724                         border-left:1px solid black;
 725                  }
 726                 table.headers > * > tr > td:last-child,
 727                 table.headers > * > tr > th:last-child {
 728                         border-right:1px solid black;
 729                  }
 730 /* .document-head */
 731         .document-head {
 732                 border:1px solid black;
 733          }
 734         .document-head > table {
 735                 border-collapse:collapse;
 736                 border-spacing:0;
 737                 border:1px solid white;
 738                 background-color:#F4F2E2;
 739                 line-height:1.4;
 740                 margin-left:auto;
 741                 margin-right:auto;
 742                 width:100%;
 743          }
 744         .document-head > table > tbody > tr > td {
 745                 border:1px solid white;
 746                 padding:0;
 747                 vertical-align:top;
 748                 width:50%;
 749          }
 750         .document-head > table > tbody > tr > td.left {
 751          }
 752         .document-head > table > tbody > tr > td.right {
 753          }
 754         .document-head > table > tbody > tr > td.full {
 755          }
 756         .document-head > table div.artwork.artwork-type-image {
 757                 border:0;
 758                 display:inline-block;
 759                 vertical-align:middle;
 760          }
 761         /* .document-headers */
 762                 table.document-headers {
 763                         border-spacing:0;
 764                         border-collapse:collapse;
 765                  }
 766                 table.document-headers > tbody > tr.header {
 767                         border-bottom:1px solid white;
 768                  }
 769                 table.document-authors > tbody > tr.header:last-child {
 770                         border-top:none;
 771                  }
 772                 table.document-headers > tbody > tr.header > td {
 773                         vertical-align:top;
 774                         line-height:1.2;
 775                  }
 776                 .document-head .header-name,
 777                 table.document-headers > tbody > tr.header > td.header-name {
 778                         padding-left:0.5em;
 779                         font-weight:bold;
 780                  }
 781                 table.document-headers > tbody > tr.header > td.header-value {
 782                         padding-left:1em;
 783                         width:100%;
 784                  }
 785         /* document-authors */
 786                 table.document-authors {
 787                         border-collapse:collapse;
 788                         border-spacing:0;
 789                         width:100%;
 790                  }
 791                 table.document-authors > tbody > tr {
 792                         border-bottom:1px solid white;
 793                  }
 794                 table.document-authors > tbody > tr:first-child {
 795                         border-top:none;
 796                  }
 797                 table.document-authors > tbody > tr > td.author {
 798                         line-height:1.2;
 799                         padding-right:0.5em;
 800                         text-align:right;
 801                         vertical-align:top;
 802                         width:100%;
 803                  }
 804 /* .aside */
 805         .aside {
 806                 background-color:white;
 807                 border:1px solid black;
 808                 clear:right;
 809                 float:right;
 810                 hyphens:auto;
 811                 margin:1ex 0 1ex 2em !important;
 812                 padding: 0.5ex 1ex 0.5ex 1ex;
 813                 position:relative;
 814                 width:33%;
 815          }
 816         .aside .figure-content {
 817                 border-left:0 !important;
 818                 padding-left:0 !important;
 819          }