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 > .ref-backs {
 527                 //margin-left:1ex;
 528          }
 529         .reference-content > .ref-backs > .ref-back {
 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 /* .at */
 542         .at:target {
 543                 background-color:#BFEFFF;
 544          }
 545         .at-unknown {
 546                 display:inline-box;
 547                 text-decoration-line:underline;
 548                 text-decoration-color:#C4451D;
 549                 text-decoration-style:solid;
 550          }
 551         .at-ambiguous {
 552                 display:inline-box;
 553                 text-decoration-line:underline overline;
 554                 text-decoration-color:#C4451D;
 555                 text-decoration-style:double;
 556          }
 557         .at-backs > .at-back {
 558                 background-color:#F4F2E2;
 559                 font-size:70%;
 560                 line-height:0;
 561                 position:relative;
 562                 vertical-align:baseline;
 563          }
 564 /* .tag */
 565         .tag {
 566                 color:#000080;
 567          }
 568         .tag:target {
 569                 background-color:#BFEFFF;
 570          }
 571         .tag-backs > .tag-back {
 572                 background-color:#F4F2E2;
 573                 font-size:70%;
 574                 line-height:0;
 575                 position:relative;
 576                 vertical-align:baseline;
 577          }
 578 /* .reference */
 579         .reference {
 580                 white-space:pre;
 581          }
 582         .reference:target {
 583                 background-color:#BFEFFF;
 584          }
 585         .reference-unknown {
 586                 display:inline-box;
 587                 text-decoration-line:line-through;
 588                 text-decoration-color:red;
 589                 text-decoration-style:solid;
 590          }
 591         .reference-ambiguous {
 592                 display:inline-box;
 593                 text-decoration-line:line-through;
 594                 text-decoration-color:red;
 595                 text-decoration-style:double;
 596          }
 597 /* .shortcuts */
 598         ul.shortcuts {
 599                 list-style-type:none;
 600                 margin:0 0 0 0;
 601                 padding:0 0 0 0;
 602                 position:fixed;
 603                 right:0.5ex;
 604                 top:0.5ex;
 605                 z-index:9999;
 606          }
 607         ul.shortcuts > li {
 608                 text-align:right;
 609                 line-height:1.2;
 610                 margin-bottom:0.5ex;
 611          }
 612         ul.shortcuts > li > a.shortcut {
 613                 background:white;
 614                 border:1px solid black;
 615                 padding:0 1ex 0 1ex;
 616          }
 617         @media print {
 618                 ul.shortcuts {
 619                         display:none;
 620                  }
 621          }
 622 /* .toc */
 623         .toc {
 624                 background-color:#FFFFF0;
 625                 border:1px solid black;
 626                 /*margin-left:0 !important;*/
 627                 margin-top:1ex;
 628                 padding:1ex 2em 1.5ex 2em;
 629          }
 630         .toc .toc-name {
 631                 font-size:120%;
 632                 font-weight:bold;
 633          }
 634         .toc > ul {
 635                 margin-top:0;
 636          }
 637         .toc li:last-child > ul:last-child {
 638                 padding-bottom:0;
 639          }
 640         .toc ul {
 641                 list-style:none;
 642                 margin-bottom:0;
 643                 margin-left:1em;
 644                 padding-bottom:0;
 645                 padding-left:0em;
 646                 padding-top:0;
 647          }
 648         .toc.no-indent ul > li > ul {
 649                 margin-left:0;
 650          }
 651         .toc ul > li {
 652                 line-height:1.3;
 653                 font-weight:bold;
 654                 margin-left:0em;
 655                 margin-top:0;
 656          }
 657         .toc .toc-entry {
 658                 border-spacing:0;
 659          }
 660         .toc .toc-entry > tbody > tr > td {
 661                 padding:0 0 0 0;
 662                 vertical-align:top;
 663          }
 664         .toc .toc-entry .section-number {
 665                 padding-right:1ex;
 666          }
 667         .toc ul > li > ul {
 668                 padding-bottom:1ex;
 669                 padding-top:1ex;
 670          }
 671         .toc.no-vspace ul > li > ul {
 672                 padding-bottom:0;
 673                 padding-top:0;
 674          }
 675         .toc ul > li > ul > li {
 676                 font-weight:normal;
 677                 line-height:normal;
 678                 margin-left:0em;
 679          }
 680         @media print {
 681                 ul.toc a:last-child::after {
 682                         content:leader('.') target-counter(attr(href), page);
 683                  }
 684          }
 685 /* .tof */
 686         .tof {
 687                 list-style:none;
 688                 padding-left:0;
 689          }
 690         .tof .figure-number {
 691                 vertical-align:top;
 692                 padding-right:1em;
 693          }
 694         .tof h2 {
 695                 margin-bottom:1ex;
 696          }
 697         .tof .figure-number {
 698                 font-weight:bold;
 699                 margin-right:1ex;
 700          }
 701         .tof .figure-title {
 702          }
 703 /* .headers */
 704         table.headers {
 705                 border-collapse:collapse;
 706                 border-spacing:0;
 707                 border:1px solid black;
 708                 /* color:white; */
 709                 line-height:1.4;
 710                 margin-left:auto;
 711                 margin-right:auto;
 712                 width:100%;
 713          }
 714         table.headers > * > tr:first-child > td,
 715         table.headers > * > tr:first-child > th {
 716                 background-color:#F4F2E2;
 717                 border:1px solid white;
 718                 padding:0;
 719                 /*
 720                 padding-left:0.5em;
 721                 padding-right:0.5em;
 722                 */
 723                 vertical-align:top;
 724          }
 725         table.headers td.left {
 726                 padding:0 0 0 0;
 727                 text-align:left;
 728          }
 729         table.headers td.right {
 730                 padding-left:0;
 731                 padding-right:0.5em;
 732                 text-align:right;
 733          }
 734         /* borders */
 735                 table.headers > * > tr:first-child > td,
 736                 table.headers > * > tr:first-child > th {
 737                         border-top:1px solid black;
 738                  }
 739                 table.headers > * > tr:last-child > td,
 740                 table.headers > * > tr:last-child > th {
 741                         border-bottom:1px solid black;
 742                  }
 743                 table.headers > * > tr > td:first-child,
 744                 table.headers > * > tr > th:first-child {
 745                         border-left:1px solid black;
 746                  }
 747                 table.headers > * > tr > td:last-child,
 748                 table.headers > * > tr > th:last-child {
 749                         border-right:1px solid black;
 750                  }
 751 /* .document-head */
 752         .document-head {
 753                 border:1px solid black;
 754          }
 755         .document-head > table {
 756                 border-collapse:collapse;
 757                 border-spacing:0;
 758                 border:1px solid white;
 759                 background-color:#F4F2E2;
 760                 line-height:1.4;
 761                 margin-left:auto;
 762                 margin-right:auto;
 763                 width:100%;
 764          }
 765         .document-head > table > tbody > tr > td {
 766                 border:1px solid white;
 767                 padding:0;
 768                 vertical-align:top;
 769                 width:50%;
 770          }
 771         .document-head > table > tbody > tr > td.left {
 772          }
 773         .document-head > table > tbody > tr > td.right {
 774          }
 775         .document-head > table > tbody > tr > td.full {
 776          }
 777         .document-head > table div.artwork.artwork-type-image {
 778                 border:0;
 779                 display:inline-block;
 780                 vertical-align:middle;
 781          }
 782         /* .document-headers */
 783                 table.document-headers {
 784                         border-spacing:0;
 785                         border-collapse:collapse;
 786                  }
 787                 table.document-headers > tbody > tr.header {
 788                         border-bottom:1px solid white;
 789                  }
 790                 table.document-authors > tbody > tr.header:last-child {
 791                         border-top:none;
 792                  }
 793                 table.document-headers > tbody > tr.header > td {
 794                         vertical-align:top;
 795                         line-height:1.2;
 796                  }
 797                 .document-head .header-name,
 798                 table.document-headers > tbody > tr.header > td.header-name {
 799                         padding-left:0.5em;
 800                         font-weight:bold;
 801                  }
 802                 table.document-headers > tbody > tr.header > td.header-value {
 803                         padding-left:1em;
 804                         width:100%;
 805                  }
 806         /* document-authors */
 807                 table.document-authors {
 808                         border-collapse:collapse;
 809                         border-spacing:0;
 810                         width:100%;
 811                  }
 812                 table.document-authors > tbody > tr {
 813                         border-bottom:1px solid white;
 814                  }
 815                 table.document-authors > tbody > tr:first-child {
 816                         border-top:none;
 817                  }
 818                 table.document-authors > tbody > tr > td.author {
 819                         line-height:1.2;
 820                         padding-right:0.5em;
 821                         text-align:right;
 822                         vertical-align:top;
 823                         width:100%;
 824                  }
 825 /* .aside */
 826         .aside {
 827                 background-color:white;
 828                 border:1px solid black;
 829                 clear:right;
 830                 float:right;
 831                 hyphens:auto;
 832                 margin:1ex 0 1ex 2em !important;
 833                 padding: 0.5ex 1ex 0.5ex 1ex;
 834                 position:relative;
 835                 width:33%;
 836          }
 837         .aside .figure-content {
 838                 border-left:0 !important;
 839                 padding-left:0 !important;
 840          }