4 font-family:sans-serif
;
6 /* font-size:0.750em; */
13 page-break-before:always
;
16 page-break-inside:avoid
;
19 page-break-after:avoid
;
29 display:inline
!important
;
32 display:block
!important
;
53 text-decoration:underline
;
56 margin:0 0 0 0 !important
;
57 padding:0 0 0 0 !important
;
61 background-color:#F4F2E2 !important
;
62 color:#C4451D !important
;
63 text-decoration:underline
!important
;
66 color:rgb
(171,105,84);
68 a:hover
[href^
="git:"],
69 a:hover
[href^
="http:"],
70 a:hover
[href^
="https:"],
71 a:hover
[href^
="mailto:"],
73 color:blue
!important
;
74 text-decoration:underline
;
76 a:visited
[href^
="git:"],
77 a:visited
[href^
="http:"],
78 a:visited
[href^
="https:"],
79 a:visited
[href^
="mailto:"],
81 color:purple
!important
;
84 .para a, dt a, dd a, li a {
102 font-variant:small-caps
;
103 text-transform:lowercase
;
105 blockquote
> * .bcp14
{
110 background-color:yellow
;
113 /* XXX: toggle() somehow included in CSS3,
114 but not supported so far by Mozilla/Firefox
116 font-style:toggle(italic, normal);
127 background-color:white
;
129 page-break-inside:auto
;
132 background-color:#f8f8f8;
137 background-color:#f8f8f8;
142 code
, pre
, samp
, tt
{
143 background-color:#F4F2E2;
144 font-family:monospace
;
147 /* page-break-inside:avoid; */
148 white-space:pre-line
;
155 white-space:pre-wrap
;
174 font-variant:small-caps
;
185 font-family:monospace
;
191 page-break-before:auto
;
192 page-break-inside:avoid
;
193 page-break-after:auto
;
196 .section > *:first-child {
206 page-break-after:avoid
;
208 .section-header .section-number {
213 font-family:sans-serif
;
215 .section-header > tbody > tr > td {
218 .alias:target
~ .section-header
.section-number
,
219 .section:target
> .section-header
.section-number
,
220 .section > .section-header:target .section-number {
221 background-color:#BFEFFF;
223 .section.page-break {
224 page-break-before:always
;
226 .section.multi-pages {
227 page-break-inside:auto
;
229 .section.single-page {
230 page-break-inside:avoid
;
237 page-break-before:always
;
249 div
.title
> h1:first-child
{
255 .section .section-header {
260 .section .section .section-header {
265 .section .section .section .section-header {
269 .figure-content > .section > .section-header {
270 margin-top:0 !important
;
272 .figure-content > .section + .section > .section-header {
273 margin-top:2ex !important
;
292 .section-header + .para {
313 position:absolute
; /* NOTE: avoid bottom margin */
314 text-decoration:none
;
316 /* XXX: not standard CSS yet */
317 -moz-user-select:none
;
318 -ms-user-select:none
;
319 -webkit-user-select:none
;
322 text-decoration:none
;
332 page-break-before:auto
;
333 page-break-inside:avoid
;
334 page-break-after:auto
;
336 .section-header
+ .figure
,
337 .figure:first-child {
348 .figure table.figure-caption {
353 .figure table.figure-caption > tbody > tr > td {
356 .figure .figure-caption .figure-number {
360 .figure .figure-caption .figure-colon {
364 .figure .figure-caption .figure-title {
367 vertical-align:middle
;
369 .figure .figure-content {
370 border-left:5px solid black
;
374 .figure:target > table.figure-caption > tbody > tr > td.figure-number > a {
375 background-color:#BFEFFF;
379 border-left: 3px solid blue
;
384 background-color:#BFEFFF;
388 page-break-before:avoid
;
389 display:inline-block
;
391 .section-header + .index {
400 .index
.index-chars
> dt
> a
,
401 .index .index-nav a {
402 border:1px solid black
;
403 display:inline-block
;
410 .index .index-nav a {
413 .index dl.index-chars {
416 .index dl.index-chars > dt {
418 display:inline-block
;
424 page-break-after:avoid
;
426 .index dl.index-chars > dd {
427 display:inline-block
;
432 .index dl.index-chars > dt > :target {
433 background-color:#BFEFFF;
435 .index dl.index-term {
437 .index dl.index-term > dt {
439 .index dl.index-term > dd {
443 .index ul.index-aliases {
447 .index ul.index-aliases > li {
451 background-color:#F4F2E2;
453 vertical-align:baseline
;
462 content:target-counter
(attr
(href
), page
);
484 list-style-type:lower-alpha
;
487 list-style-type:upper-alpha
;
500 table
.ol
> tbody
> tr
> td
{
504 table
.ol
> tbody
> tr
> td
.name
{
507 table
.ol
> tbody
> tr
> td
.value
{
542 border-top:1px solid black
;
550 .notes > table > tbody > tr > td {
562 sup
.note-numbers
> a
,
568 sup
.note-numbers
> a:visited
,
569 .note-ref > a:visited {
570 color:gray
!important
;
572 sup
.note-numbers
> a:hover
,
573 .note-ref > a:hover {
574 color:black
!important
;
576 sup
.note-numbers
> :target
{
577 background-color:#BFEFFF;
579 .notes
> table
> tbody
> tr
> td:target
.note-number
,
580 .notes > table > tbody > tr > td > :target.note-number {
581 background-color:#BFEFFF;
586 background-color:#BFEFFF;
589 border-bottom:1px dotted red
;
595 .references:first-child {
598 .references > table {
599 border-collapse:separate
;
602 .references > table > tbody > tr + tr > td {
616 .reference-rrefs .reference-rref {
617 background-color:#F4F2E2;
621 vertical-align:baseline
;
633 background-color:#BFEFFF;
637 border-bottom:1px dotted red
;
641 list-style-type:none
;
654 ul
.shortcuts
> li
> a
.shortcut
{
656 border:1px solid black
;
668 table
.table
.headers
> thead
> tr
> th
{
669 border-style:none none solid none
;
672 table
.table
> * > tr:target
,
673 table
.table
> * > tr
> th:target
,
674 table
.table
> * > tr
> td:target
{
675 background-color:#BFEFFF;
677 table
.table
> tbody
> tr
> td
{
679 vertical-align:center
;
681 table
.table
> tbody
.left
> tr
> td
,
682 table
.table
> tbody
> tr
.left
> td
,
683 table
.table
> tbody
> tr
> td
.left
{
686 table
.table
> tbody
.right
> tr
> td
,
687 table
.table
> tbody
> tr
.right
> td
,
688 table
.table
> tbody
> tr
> td
.right
{
691 table
.table
> tbody
.center
> tr
> td
,
692 table
.table
> tbody
> tr
.center
> td
,
693 table
.table
> tbody
> tr
> td
.center
{
696 table
.table
> tbody
.top
> tr
> td
,
697 table
.table
> tbody
> tr
.top
> td
,
698 table
.table
> tbody
> tr
> td
.top
{
701 table
.table
> tbody
.bottom
> tr
> td
,
702 table
.table
> tbody
> tr
.bottom
> td
,
703 table
.table
> tbody
> tr
> td
.bottom
{
704 vertical-align:bottom
;
706 table
.table
> tbody
.middle
> tr
> td
,
707 table
.table
> tbody
> tr
.middle
> td
,
708 table
.table
> tbody
> tr
> td
.middle
{
709 vertical-align:middle
;
721 table
.table
> caption
{
727 table
.table
> thead
{
728 display:table-header-group
;
730 table
.table
> tbody
{
732 table
.table
> tfoot
{
739 table
.table
.all
> thead
> tr
> th
{
743 table
.table
.all
> tbody
> tr
> td
{
749 border-collapse:collapse
;
751 table
.table
.inside
> * > tr
> td
,
752 table
.table
.inside
> * > tr
> th
{
753 border:1px solid black
;
754 padding:0.5ex 1ex 0.5ex 1ex;
756 table
.table
.inside
> * > tr:first-child
> td
,
757 table
.table
.inside
> * > tr:first-child
> th
{
760 table
.table
.inside
> * > tr:last-child
> td
,
761 table
.table
.inside
> tbody
> tr:last-child
> th
{
764 table
.table
.inside
> * > tr
> td:first-child
,
765 table
.table
.inside
> * > tr
> th:first-child
{
768 table
.table
.inside
> * > tr
> td:last-child
,
769 table
.table
.inside
> * > tr
> th:last-child
{
775 table
.table
.full
> thead
> tr
> th
{
777 border-width:1px 1px 2px 1px;
779 table
.table
.full
> tbody
> tr
> td
{
780 border:1px solid black
;
785 background-color:#FFFFF0;
786 border:1px solid black
;
787 /*margin-left:0 !important;*/
789 padding:1ex 2em 1.5ex 2em;
798 .toc li:last-child > ul:last-child {
809 .toc.no-indent ul > li > ul {
821 .toc .toc-entry > tbody > tr > td {
825 .toc .toc-entry .section-number {
832 .toc.no-vspace ul > li > ul {
836 .toc ul > li > ul > li {
842 ul
.toc
a:last-child::after
{
843 content:leader
('.') target-counter
(attr
(href
), page
);
851 .tof .figure-number {
858 .tof .figure-number {
867 white-space:pre-wrap
;
869 .xml
.xml-element-close-begin
,
870 .xml
.xml-element-close-end
,
871 .xml
.xml-element-empty-end
,
872 .xml
.xml-element-open-begin
,
873 .xml .xml-element-open-end {
877 .xml .xml-element-name {
885 .xml
.xml-comment-begin
,
886 .xml
.xml-comment-end
,
887 .xml .xml-comment-text {
901 .xml
.xml-attribute-name
,
902 .xml
.xml-namespace-declaration
,
903 .xml .xml-namespace-prefix {
907 .xml
.xml-attribute-value
,
908 .xml
.xml-namespace-uri
,
909 .xml .xml-attribute-quote {
915 border-collapse:collapse
;
917 border:1px solid black
;
924 table
.headers
> * > tr:first-child
> td
,
925 table
.headers
> * > tr:first-child
> th
{
926 background-color:#F4F2E2;
927 border:1px solid white
;
935 table
.headers td
.left
{
939 table
.headers td
.right
{
945 table
.headers
> * > tr:first-child
> td
,
946 table
.headers
> * > tr:first-child
> th
{
947 border-top:1px solid black
;
949 table
.headers
> * > tr:last-child
> td
,
950 table
.headers
> * > tr:last-child
> th
{
951 border-bottom:1px solid black
;
953 table
.headers
> * > tr
> td:first-child
,
954 table
.headers
> * > tr
> th:first-child
{
955 border-left:1px solid black
;
957 table
.headers
> * > tr
> td:last-child
,
958 table
.headers
> * > tr
> th:last-child
{
959 border-right:1px solid black
;
963 border:1px solid black
;
965 .document-head > table {
966 border-collapse:collapse
;
968 border:1px solid white
;
969 background-color:#F4F2E2;
975 .document-head > table > tbody > tr > td {
976 border:1px solid white
;
981 .document-head > table > tbody > tr > td.left {
983 .document-head > table > tbody > tr > td.right {
985 .document-head > table > tbody > tr > td.full {
987 .document-head > table div.artwork.artwork-type-image {
989 display:inline-block
;
990 vertical-align:middle
;
992 /* .document-headers */
993 table
.document-headers
{
995 border-collapse:collapse
;
997 table
.document-headers
> tbody
> tr
.header
{
998 border-bottom:1px solid white
;
1000 table
.document-authors
> tbody
> tr
.header:last-child
{
1003 table
.document-headers
> tbody
> tr
.header
> td
{
1007 .document-head
.header-name
,
1008 table
.document-headers
> tbody
> tr
.header
> td
.header-name
{
1012 table
.document-headers
> tbody
> tr
.header
> td
.header-value
{
1016 /* document-authors */
1017 table
.document-authors
{
1018 border-collapse:collapse
;
1022 table
.document-authors
> tbody
> tr
{
1023 border-bottom:1px solid white
;
1025 table
.document-authors
> tbody
> tr:first-child
{
1028 table
.document-authors
> tbody
> tr
> td
.author
{
1030 padding-right:0.5em;