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
;
333 .section-header
+ .figure
,
334 .figure:first-child {
345 .figure table.figure-caption {
350 .figure table.figure-caption > tbody > tr > td {
353 .figure .figure-caption .figure-number {
357 .figure .figure-caption .figure-colon {
361 .figure .figure-caption .figure-title {
364 vertical-align:middle
;
366 .figure .figure-content {
367 border-left:5px solid black
;
371 .figure:target > table.figure-caption > tbody > tr > td.figure-number > a {
372 background-color:#BFEFFF;
376 border-left: 3px solid blue
;
381 background-color:#BFEFFF;
385 page-break-before:avoid
;
386 display:inline-block
;
388 .section-header + .index {
397 .index
.index-chars
> dt
> a
,
398 .index .index-nav a {
399 border:1px solid black
;
400 display:inline-block
;
407 .index .index-nav a {
410 .index dl.index-chars {
413 .index dl.index-chars > dt {
415 display:inline-block
;
421 page-break-after:avoid
;
423 .index dl.index-chars > dd {
424 display:inline-block
;
429 .index dl.index-chars > dt > :target {
430 background-color:#BFEFFF;
432 .index dl.index-term {
434 .index dl.index-term > dt {
436 .index dl.index-term > dd {
440 .index ul.index-aliases {
444 .index ul.index-aliases > li {
448 background-color:#F4F2E2;
450 vertical-align:baseline
;
459 content:target-counter
(attr
(href
), page
);
481 list-style-type:lower-alpha
;
484 list-style-type:upper-alpha
;
497 table
.ol
> tbody
> tr
> td
{
501 table
.ol
> tbody
> tr
> td
.name
{
504 table
.ol
> tbody
> tr
> td
.value
{
539 border-top:1px solid black
;
547 .notes > table > tbody > tr > td {
559 sup
.note-numbers
> a
,
565 sup
.note-numbers
> a:visited
,
566 .note-ref > a:visited {
567 color:gray
!important
;
569 sup
.note-numbers
> a:hover
,
570 .note-ref > a:hover {
571 color:black
!important
;
573 sup
.note-numbers
> :target
{
574 background-color:#BFEFFF;
576 .notes
> table
> tbody
> tr
> td:target
.note-number
,
577 .notes > table > tbody > tr > td > :target.note-number {
578 background-color:#BFEFFF;
583 background-color:#BFEFFF;
586 border-bottom:1px dotted red
;
592 .references:first-child {
595 .references > table {
596 border-collapse:separate
;
599 .references > table > tbody > tr + tr > td {
613 .reference-rrefs .reference-rref {
614 background-color:#F4F2E2;
618 vertical-align:baseline
;
630 background-color:#BFEFFF;
634 border-bottom:1px dotted red
;
638 list-style-type:none
;
651 ul
.shortcuts
> li
> a
.shortcut
{
653 border:1px solid black
;
665 table
.table
.headers
> thead
> tr
> th
{
666 border-style:none none solid none
;
669 table
.table
> * > tr:target
,
670 table
.table
> * > tr
> th:target
,
671 table
.table
> * > tr
> td:target
{
672 background-color:#BFEFFF;
674 table
.table
> tbody
> tr
> td
{
676 vertical-align:center
;
678 table
.table
> tbody
.left
> tr
> td
,
679 table
.table
> tbody
> tr
.left
> td
,
680 table
.table
> tbody
> tr
> td
.left
{
683 table
.table
> tbody
.right
> tr
> td
,
684 table
.table
> tbody
> tr
.right
> td
,
685 table
.table
> tbody
> tr
> td
.right
{
688 table
.table
> tbody
.center
> tr
> td
,
689 table
.table
> tbody
> tr
.center
> td
,
690 table
.table
> tbody
> tr
> td
.center
{
693 table
.table
> tbody
.top
> tr
> td
,
694 table
.table
> tbody
> tr
.top
> td
,
695 table
.table
> tbody
> tr
> td
.top
{
698 table
.table
> tbody
.bottom
> tr
> td
,
699 table
.table
> tbody
> tr
.bottom
> td
,
700 table
.table
> tbody
> tr
> td
.bottom
{
701 vertical-align:bottom
;
703 table
.table
> tbody
.middle
> tr
> td
,
704 table
.table
> tbody
> tr
.middle
> td
,
705 table
.table
> tbody
> tr
> td
.middle
{
706 vertical-align:middle
;
718 table
.table
> caption
{
724 table
.table
> thead
{
725 display:table-header-group
;
727 table
.table
> tbody
{
729 table
.table
> tfoot
{
736 table
.table
.all
> thead
> tr
> th
{
740 table
.table
.all
> tbody
> tr
> td
{
746 border-collapse:collapse
;
748 table
.table
.inside
> * > tr
> td
,
749 table
.table
.inside
> * > tr
> th
{
750 border:1px solid black
;
751 padding:0.5ex 1ex 0.5ex 1ex;
753 table
.table
.inside
> * > tr:first-child
> td
,
754 table
.table
.inside
> * > tr:first-child
> th
{
757 table
.table
.inside
> * > tr:last-child
> td
,
758 table
.table
.inside
> tbody
> tr:last-child
> th
{
761 table
.table
.inside
> * > tr
> td:first-child
,
762 table
.table
.inside
> * > tr
> th:first-child
{
765 table
.table
.inside
> * > tr
> td:last-child
,
766 table
.table
.inside
> * > tr
> th:last-child
{
772 table
.table
.full
> thead
> tr
> th
{
774 border-width:1px 1px 2px 1px;
776 table
.table
.full
> tbody
> tr
> td
{
777 border:1px solid black
;
782 background-color:#FFFFF0;
783 border:1px solid black
;
784 /*margin-left:0 !important;*/
786 padding:1ex 2em 1.5ex 2em;
795 .toc li:last-child > ul:last-child {
806 .toc.no-indent ul > li > ul {
818 .toc .toc-entry > tbody > tr > td {
822 .toc .toc-entry .section-number {
829 .toc.no-vspace ul > li > ul {
833 .toc ul > li > ul > li {
839 ul
.toc
a:last-child::after
{
840 content:leader
('.') target-counter
(attr
(href
), page
);
848 .tof .figure-number {
855 .tof .figure-number {
864 white-space:pre-wrap
;
866 .xml
.xml-element-close-begin
,
867 .xml
.xml-element-close-end
,
868 .xml
.xml-element-empty-end
,
869 .xml
.xml-element-open-begin
,
870 .xml .xml-element-open-end {
874 .xml .xml-element-name {
882 .xml
.xml-comment-begin
,
883 .xml
.xml-comment-end
,
884 .xml .xml-comment-text {
898 .xml
.xml-attribute-name
,
899 .xml
.xml-namespace-declaration
,
900 .xml .xml-namespace-prefix {
904 .xml
.xml-attribute-value
,
905 .xml
.xml-namespace-uri
,
906 .xml .xml-attribute-quote {
912 border-collapse:collapse
;
914 border:1px solid black
;
921 table
.headers
> * > tr:first-child
> td
,
922 table
.headers
> * > tr:first-child
> th
{
923 background-color:#F4F2E2;
924 border:1px solid white
;
932 table
.headers td
.left
{
936 table
.headers td
.right
{
942 table
.headers
> * > tr:first-child
> td
,
943 table
.headers
> * > tr:first-child
> th
{
944 border-top:1px solid black
;
946 table
.headers
> * > tr:last-child
> td
,
947 table
.headers
> * > tr:last-child
> th
{
948 border-bottom:1px solid black
;
950 table
.headers
> * > tr
> td:first-child
,
951 table
.headers
> * > tr
> th:first-child
{
952 border-left:1px solid black
;
954 table
.headers
> * > tr
> td:last-child
,
955 table
.headers
> * > tr
> th:last-child
{
956 border-right:1px solid black
;
960 border:1px solid black
;
962 .document-head > table {
963 border-collapse:collapse
;
965 border:1px solid white
;
966 background-color:#F4F2E2;
972 .document-head > table > tbody > tr > td {
973 border:1px solid white
;
978 .document-head > table > tbody > tr > td.left {
980 .document-head > table > tbody > tr > td.right {
982 .document-head > table > tbody > tr > td.full {
984 .document-head > table div.artwork.artwork-type-image {
986 display:inline-block
;
987 vertical-align:middle
;
989 /* .document-headers */
990 table
.document-headers
{
992 border-collapse:collapse
;
994 table
.document-headers
> tbody
> tr
.header
{
995 border-bottom:1px solid white
;
997 table
.document-authors
> tbody
> tr
.header:last-child
{
1000 table
.document-headers
> tbody
> tr
.header
> td
{
1004 .document-head
.header-name
,
1005 table
.document-headers
> tbody
> tr
.header
> td
.header-name
{
1009 table
.document-headers
> tbody
> tr
.header
> td
.header-value
{
1013 /* document-authors */
1014 table
.document-authors
{
1015 border-collapse:collapse
;
1019 table
.document-authors
> tbody
> tr
{
1020 border-bottom:1px solid white
;
1022 table
.document-authors
> tbody
> tr:first-child
{
1025 table
.document-authors
> tbody
> tr
> td
.author
{
1027 padding-right:0.5em;