]> git.lyx.org Git - features.git/blob - lib/docbook/epub3/docbook-epub.css.xml
Unify wording for statistics
[features.git] / lib / docbook / epub3 / docbook-epub.css.xml
1 <?xml version="1.0"?>
2 <style>
3
4 /********************************/
5 /* start of styles in block.xsl */
6
7 .formalpara-title {
8   font-weight: bold;
9 }
10
11 div.blockquote-title {
12   font-weight: bold;
13   margin-top: 1em;
14   margin-bottom: 1em;
15 }
16
17 span.msgmain-title {
18   font-weight: bold;
19 }
20
21 span.msgsub-title {
22   font-weight: bold;
23 }
24
25 span.msgrel-title {
26   font-weight: bold;
27 }
28
29 div.msglevel, div.msgorig, div.msgaud {
30   margin-top: 1em;
31   margin-bottom: 1em;
32 }
33
34 span.msglevel-title, span.msgorig-title, span.msgaud-title {
35   font-weight: bold;
36 }
37
38 div.msgexplan {
39   margin-top: 1em;
40   margin-bottom: 1em;
41 }
42
43 span.msgexplan-title {
44   font-weight: bold;
45 }
46
47 div.sidebar {
48   border: 0.5pt solid black;
49   margin-top: 1em;
50   margin-bottom: 1em;
51   padding: 8px;
52 }
53
54 /* end of styles in block.xsl */
55 /********************************/
56
57 /********************************/
58 /* start of styles in autotoc.xsl */
59
60 /* top level entries */
61 nav&gt;ol&gt;li&gt;a {
62   margin-top: 1em;
63   margin-bottom: 1em;
64 }
65
66
67 /* end of styles in autotoc.xsl */
68 /********************************/
69
70 /********************************/
71 /* start of styles in formal.xsl */
72
73 div.figure-title {
74   font-weight: bold;
75 }
76
77 div.example-title {
78   font-weight: bold;
79 }
80
81 div.equation-title {
82   font-weight: bold;
83 }
84
85 div.table-title {
86   font-weight: bold;
87 }
88
89 div.sidebar-title {
90   font-weight: bold;
91 }
92
93
94 /* end of styles in formal.xsl */
95 /********************************/
96
97 /********************************/
98 /* start of styles in verbatim.xsl */
99
100 div.programlisting {
101   white-space: pre-wrap;
102   font-family: monospace;
103 }
104
105 div.screen {
106   white-space: pre-wrap;
107   font-family: monospace;
108 }
109
110 div.synopsis {
111   white-space: pre-wrap;
112   font-family: monospace;
113 }
114
115 /* end of styles in verbatim.xsl */
116 /********************************/
117
118 /********************************/
119 /* NAVIGATION */
120
121 nav ol {
122 list-style-type: none;
123 margin: 0 0 0 2em;
124 padding: 0 0 0 0;
125 }
126
127 nav ol li {
128 margin: 0 0 0 0;
129 padding: 0 0 0 0;
130 }
131
132 nav ol li a {
133 text-decoration: none;
134 color: black;
135 font-family: sans-serif;
136 }
137
138 #guide {
139 display: none;
140 }
141
142 </style>