mizuho 0.9.6 → 0.9.8

Sign up to get free protection for your applications and to get access to all the features.
Files changed (222) hide show
  1. data/README.markdown +4 -2
  2. data/Rakefile +0 -37
  3. data/asciidoc/BUGS +9 -18
  4. data/asciidoc/BUGS.txt +5 -14
  5. data/asciidoc/CHANGELOG +1433 -266
  6. data/asciidoc/CHANGELOG.txt +2821 -1810
  7. data/asciidoc/COPYING +339 -339
  8. data/asciidoc/COPYRIGHT +18 -18
  9. data/asciidoc/INSTALL +189 -30
  10. data/asciidoc/INSTALL.txt +175 -19
  11. data/asciidoc/MANIFEST +88 -0
  12. data/asciidoc/Makefile.in +29 -13
  13. data/asciidoc/README +16 -17
  14. data/asciidoc/README.txt +35 -36
  15. data/asciidoc/a2x.py +902 -0
  16. data/asciidoc/asciidoc.conf +610 -455
  17. data/asciidoc/asciidoc.py +1965 -1061
  18. data/asciidoc/asciidocapi.py +257 -0
  19. data/asciidoc/common.aap +2 -2
  20. data/asciidoc/configure +1170 -1023
  21. data/asciidoc/configure.ac +1 -1
  22. data/asciidoc/dblatex/asciidoc-dblatex.xsl +42 -0
  23. data/asciidoc/doc/a2x.1 +559 -102
  24. data/asciidoc/doc/a2x.1.txt +233 -91
  25. data/asciidoc/doc/article-docinfo.xml +87 -0
  26. data/asciidoc/doc/article.pdf +0 -0
  27. data/asciidoc/doc/article.txt +139 -122
  28. data/asciidoc/doc/asciidoc.1 +157 -46
  29. data/asciidoc/doc/asciidoc.1.txt +171 -118
  30. data/asciidoc/doc/asciidoc.conf +7 -8
  31. data/asciidoc/doc/asciidoc.dict +960 -635
  32. data/asciidoc/doc/asciidoc.txt +2335 -1464
  33. data/asciidoc/doc/asciidocapi.txt +189 -0
  34. data/asciidoc/doc/asciimathml.txt +14 -17
  35. data/asciidoc/doc/book-multi.txt +181 -155
  36. data/asciidoc/doc/book.epub +0 -0
  37. data/asciidoc/doc/book.txt +156 -131
  38. data/asciidoc/doc/customers.csv +18 -18
  39. data/asciidoc/doc/epub-notes.txt +210 -0
  40. data/asciidoc/doc/faq.txt +1122 -547
  41. data/asciidoc/doc/latex-backend.txt +192 -191
  42. data/asciidoc/doc/latex-bugs.txt +134 -0
  43. data/asciidoc/doc/latex-filter.pdf +0 -0
  44. data/asciidoc/doc/latex-filter.txt +196 -0
  45. data/asciidoc/doc/latexmath.txt +13 -136
  46. data/asciidoc/doc/latexmathml.txt +2 -2
  47. data/asciidoc/doc/main.aap +233 -297
  48. data/asciidoc/doc/music-filter.pdf +0 -0
  49. data/asciidoc/doc/music-filter.txt +55 -65
  50. data/asciidoc/doc/publishing-ebooks-with-asciidoc.txt +398 -0
  51. data/asciidoc/doc/slidy-example.txt +167 -0
  52. data/asciidoc/doc/slidy.txt +113 -0
  53. data/asciidoc/doc/source-highlight-filter.pdf +0 -0
  54. data/asciidoc/doc/source-highlight-filter.txt +45 -20
  55. data/asciidoc/doc/testasciidoc.txt +231 -0
  56. data/asciidoc/docbook-xsl/asciidoc-docbook-xsl.txt +30 -8
  57. data/asciidoc/docbook-xsl/chunked.xsl +17 -19
  58. data/asciidoc/docbook-xsl/common.xsl +106 -67
  59. data/asciidoc/docbook-xsl/epub.xsl +35 -0
  60. data/asciidoc/docbook-xsl/fo.xsl +3 -0
  61. data/asciidoc/docbook-xsl/htmlhelp.xsl +16 -17
  62. data/asciidoc/docbook-xsl/manpage.xsl +31 -31
  63. data/asciidoc/docbook-xsl/text.xsl +6 -1
  64. data/asciidoc/docbook-xsl/xhtml.xsl +14 -14
  65. data/asciidoc/docbook45.conf +759 -0
  66. data/asciidoc/filters/code/code-filter-readme.txt +37 -37
  67. data/asciidoc/filters/code/code-filter-test.txt +15 -15
  68. data/asciidoc/filters/code/code-filter.conf +8 -8
  69. data/asciidoc/filters/graphviz/asciidoc-graphviz-sample.txt +104 -64
  70. data/asciidoc/filters/graphviz/graphviz-filter.conf +20 -16
  71. data/asciidoc/filters/graphviz/graphviz2png.py +54 -39
  72. data/asciidoc/filters/latex/latex-filter.conf +18 -0
  73. data/asciidoc/filters/latex/latex2png.py +216 -0
  74. data/asciidoc/filters/music/music-filter.conf +8 -17
  75. data/asciidoc/filters/music/music2png.py +40 -32
  76. data/asciidoc/filters/source/source-highlight-filter.conf +40 -34
  77. data/asciidoc/help.conf +261 -96
  78. data/asciidoc/html4.conf +505 -460
  79. data/asciidoc/html5.conf +686 -0
  80. data/asciidoc/images/highlighter.png +0 -0
  81. data/asciidoc/images/icons/caution.png +0 -0
  82. data/asciidoc/images/icons/example.png +0 -0
  83. data/asciidoc/images/icons/important.png +0 -0
  84. data/asciidoc/images/icons/note.png +0 -0
  85. data/asciidoc/images/icons/tip.png +0 -0
  86. data/asciidoc/images/icons/warning.png +0 -0
  87. data/asciidoc/images/smallnew.png +0 -0
  88. data/asciidoc/javascripts/asciidoc.js +189 -0
  89. data/asciidoc/javascripts/slidy.js +2845 -0
  90. data/asciidoc/javascripts/toc.js +8 -0
  91. data/asciidoc/lang-de.conf +57 -0
  92. data/asciidoc/lang-en.conf +54 -0
  93. data/asciidoc/lang-es.conf +49 -9
  94. data/asciidoc/lang-fr.conf +59 -0
  95. data/asciidoc/lang-hu.conf +55 -0
  96. data/asciidoc/lang-it.conf +55 -0
  97. data/asciidoc/lang-nl.conf +57 -0
  98. data/asciidoc/lang-pt-BR.conf +56 -0
  99. data/asciidoc/lang-ru.conf +60 -0
  100. data/asciidoc/lang-uk.conf +60 -0
  101. data/asciidoc/latex.conf +700 -663
  102. data/asciidoc/main.aap +77 -0
  103. data/asciidoc/slidy.conf +136 -0
  104. data/asciidoc/{examples/website/xhtml11-manpage.css → stylesheets/asciidoc-manpage.css} +1 -1
  105. data/asciidoc/stylesheets/asciidoc.css +508 -0
  106. data/asciidoc/stylesheets/docbook-xsl.css +322 -272
  107. data/asciidoc/stylesheets/flask-manpage.css +1 -0
  108. data/asciidoc/stylesheets/flask.css +584 -0
  109. data/asciidoc/stylesheets/pygments.css +66 -0
  110. data/asciidoc/stylesheets/slidy.css +445 -0
  111. data/asciidoc/stylesheets/toc2.css +33 -0
  112. data/asciidoc/stylesheets/volnitsky-manpage.css +1 -0
  113. data/asciidoc/stylesheets/volnitsky.css +435 -0
  114. data/asciidoc/stylesheets/xhtml11-quirks.css +5 -3
  115. data/asciidoc/tests/asciidocapi.py +257 -0
  116. data/asciidoc/tests/data/deprecated-quotes.txt +12 -0
  117. data/asciidoc/tests/data/filters-test.txt +90 -0
  118. data/asciidoc/tests/data/lang-de-test.txt +106 -0
  119. data/asciidoc/tests/data/lang-en-test.txt +114 -0
  120. data/asciidoc/tests/data/lang-es-test.txt +106 -0
  121. data/asciidoc/tests/data/lang-fr-test.txt +106 -0
  122. data/asciidoc/tests/data/lang-hu-test.txt +106 -0
  123. data/asciidoc/tests/data/lang-nl-test.txt +94 -0
  124. data/asciidoc/tests/data/lang-pt-BR-test.txt +106 -0
  125. data/asciidoc/tests/data/lang-ru-test.txt +106 -0
  126. data/asciidoc/tests/data/lang-uk-test.txt +106 -0
  127. data/asciidoc/tests/data/oldtables.txt +64 -0
  128. data/asciidoc/tests/data/rcs-id-marker-test.txt +6 -0
  129. data/asciidoc/tests/data/testcases.conf +2 -0
  130. data/asciidoc/tests/data/testcases.txt +740 -0
  131. data/asciidoc/tests/data/utf8-bom-test.txt +9 -0
  132. data/asciidoc/tests/data/utf8-examples.txt +217 -0
  133. data/asciidoc/tests/testasciidoc.conf +520 -0
  134. data/asciidoc/tests/testasciidoc.py +411 -0
  135. data/asciidoc/text.conf +16 -16
  136. data/asciidoc/vim/syntax/asciidoc.vim +99 -91
  137. data/asciidoc/wordpress.conf +43 -3
  138. data/asciidoc/xhtml11-quirks.conf +61 -57
  139. data/asciidoc/xhtml11.conf +684 -645
  140. data/lib/mizuho.rb +2 -0
  141. data/lib/mizuho/generator.rb +2 -2
  142. data/test/generator_spec.rb +1 -1
  143. data/test/parser_spec.rb +1 -1
  144. data/test/spec_helper.rb +3 -4
  145. metadata +87 -88
  146. data/asciidoc/a2x +0 -674
  147. data/asciidoc/doc/article.css-embedded.html +0 -602
  148. data/asciidoc/doc/article.html +0 -46
  149. data/asciidoc/doc/asciidoc-revhistory.xml +0 -27
  150. data/asciidoc/doc/asciidoc.1.css-embedded.html +0 -598
  151. data/asciidoc/doc/asciidoc.1.css.html +0 -212
  152. data/asciidoc/doc/asciidoc.1.html +0 -190
  153. data/asciidoc/doc/asciidoc.css-embedded.html +0 -7853
  154. data/asciidoc/doc/asciidoc.css.html +0 -7416
  155. data/asciidoc/doc/asciidoc.html +0 -3339
  156. data/asciidoc/doc/book-multi.css-embedded.html +0 -575
  157. data/asciidoc/doc/book-multi.html +0 -55
  158. data/asciidoc/doc/book.css-embedded.html +0 -607
  159. data/asciidoc/doc/book.html +0 -43
  160. data/asciidoc/doc/docbook-xsl.css +0 -272
  161. data/asciidoc/doc/latex-backend.html +0 -117
  162. data/asciidoc/doc/music-filter.html +0 -566
  163. data/asciidoc/doc/source-highlight-filter.html +0 -214
  164. data/asciidoc/docbook.conf +0 -721
  165. data/asciidoc/examples/website/ASCIIMathML.js +0 -938
  166. data/asciidoc/examples/website/CHANGELOG.html +0 -4389
  167. data/asciidoc/examples/website/CHANGELOG.txt +0 -1810
  168. data/asciidoc/examples/website/INSTALL.html +0 -161
  169. data/asciidoc/examples/website/INSTALL.txt +0 -71
  170. data/asciidoc/examples/website/LaTeXMathML.js +0 -1223
  171. data/asciidoc/examples/website/README-website.html +0 -118
  172. data/asciidoc/examples/website/README-website.txt +0 -29
  173. data/asciidoc/examples/website/README.html +0 -125
  174. data/asciidoc/examples/website/README.txt +0 -36
  175. data/asciidoc/examples/website/a2x.1.html +0 -419
  176. data/asciidoc/examples/website/a2x.1.txt +0 -204
  177. data/asciidoc/examples/website/asciidoc-docbook-xsl.html +0 -130
  178. data/asciidoc/examples/website/asciidoc-docbook-xsl.txt +0 -43
  179. data/asciidoc/examples/website/asciidoc-graphviz-sample.txt +0 -130
  180. data/asciidoc/examples/website/asciimathml.txt +0 -64
  181. data/asciidoc/examples/website/build-website.sh +0 -25
  182. data/asciidoc/examples/website/customers.csv +0 -18
  183. data/asciidoc/examples/website/downloads.html +0 -257
  184. data/asciidoc/examples/website/downloads.txt +0 -121
  185. data/asciidoc/examples/website/faq.html +0 -673
  186. data/asciidoc/examples/website/faq.txt +0 -547
  187. data/asciidoc/examples/website/index.html +0 -419
  188. data/asciidoc/examples/website/index.txt +0 -245
  189. data/asciidoc/examples/website/latex-backend.html +0 -535
  190. data/asciidoc/examples/website/latex-backend.txt +0 -191
  191. data/asciidoc/examples/website/latexmathml.txt +0 -41
  192. data/asciidoc/examples/website/layout1.conf +0 -161
  193. data/asciidoc/examples/website/layout1.css +0 -65
  194. data/asciidoc/examples/website/layout2.conf +0 -158
  195. data/asciidoc/examples/website/layout2.css +0 -93
  196. data/asciidoc/examples/website/manpage.html +0 -266
  197. data/asciidoc/examples/website/manpage.txt +0 -118
  198. data/asciidoc/examples/website/music-filter.html +0 -242
  199. data/asciidoc/examples/website/music-filter.txt +0 -158
  200. data/asciidoc/examples/website/music1.abc +0 -12
  201. data/asciidoc/examples/website/music1.png +0 -0
  202. data/asciidoc/examples/website/music2.ly +0 -9
  203. data/asciidoc/examples/website/music2.png +0 -0
  204. data/asciidoc/examples/website/newlists.txt +0 -40
  205. data/asciidoc/examples/website/newtables.txt +0 -397
  206. data/asciidoc/examples/website/sample1.png +0 -0
  207. data/asciidoc/examples/website/sample3.png +0 -0
  208. data/asciidoc/examples/website/sample4.png +0 -0
  209. data/asciidoc/examples/website/source-highlight-filter.html +0 -286
  210. data/asciidoc/examples/website/source-highlight-filter.txt +0 -203
  211. data/asciidoc/examples/website/support.html +0 -78
  212. data/asciidoc/examples/website/support.txt +0 -5
  213. data/asciidoc/examples/website/toc.js +0 -69
  214. data/asciidoc/examples/website/userguide.html +0 -7460
  215. data/asciidoc/examples/website/userguide.txt +0 -4979
  216. data/asciidoc/examples/website/version83.txt +0 -37
  217. data/asciidoc/examples/website/version9.html +0 -143
  218. data/asciidoc/examples/website/version9.txt +0 -48
  219. data/asciidoc/examples/website/xhtml11-quirks.css +0 -41
  220. data/asciidoc/examples/website/xhtml11.css +0 -328
  221. data/asciidoc/stylesheets/xhtml11-manpage.css +0 -18
  222. data/asciidoc/stylesheets/xhtml11.css +0 -328
@@ -1,272 +1,322 @@
1
- /*
2
- CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
3
- Tested with XSL stylesheets 1.61.2, 1.67.2
4
- */
5
-
6
- span.strong {
7
- font-weight: bold;
8
- }
9
-
10
- body blockquote {
11
- margin-top: .75em;
12
- line-height: 1.5;
13
- margin-bottom: .75em;
14
- }
15
-
16
- html body {
17
- margin: 1em 5% 1em 5%;
18
- line-height: 1.2;
19
- }
20
-
21
- body div {
22
- margin: 0;
23
- }
24
-
25
- h1, h2, h3, h4, h5, h6,
26
- div.toc p b,
27
- div.list-of-figures p b,
28
- div.list-of-tables p b,
29
- div.abstract p.title
30
- {
31
- color: #527bbd;
32
- font-family: tahoma, verdana, sans-serif;
33
- }
34
-
35
- div.toc p:first-child,
36
- div.list-of-figures p:first-child,
37
- div.list-of-tables p:first-child,
38
- div.example p.title
39
- {
40
- margin-bottom: 0.2em;
41
- }
42
-
43
- body h1 {
44
- margin: .0em 0 0 -4%;
45
- line-height: 1.3;
46
- border-bottom: 2px solid silver;
47
- }
48
-
49
- body h2 {
50
- margin: 0.5em 0 0 -4%;
51
- line-height: 1.3;
52
- border-bottom: 2px solid silver;
53
- }
54
-
55
- body h3 {
56
- margin: .8em 0 0 -3%;
57
- line-height: 1.3;
58
- }
59
-
60
- body h4 {
61
- margin: .8em 0 0 -3%;
62
- line-height: 1.3;
63
- }
64
-
65
- body h5 {
66
- margin: .8em 0 0 -2%;
67
- line-height: 1.3;
68
- }
69
-
70
- body h6 {
71
- margin: .8em 0 0 -1%;
72
- line-height: 1.3;
73
- }
74
-
75
- body hr {
76
- border: none; /* Broken on IE6 */
77
- }
78
- div.footnotes hr {
79
- border: 1px solid silver;
80
- }
81
-
82
- div.navheader th, div.navheader td, div.navfooter td {
83
- font-family: sans-serif;
84
- font-size: 0.9em;
85
- font-weight: bold;
86
- color: #527bbd;
87
- }
88
- div.navheader img, div.navfooter img {
89
- border-style: none;
90
- }
91
- div.navheader a, div.navfooter a {
92
- font-weight: normal;
93
- }
94
- div.navfooter hr {
95
- border: 1px solid silver;
96
- }
97
-
98
- body td {
99
- line-height: 1.2
100
- }
101
-
102
- body th {
103
- line-height: 1.2;
104
- }
105
-
106
- ol {
107
- line-height: 1.2;
108
- }
109
-
110
- ul, body dir, body menu {
111
- line-height: 1.2;
112
- }
113
-
114
- html {
115
- margin: 0;
116
- padding: 0;
117
- }
118
-
119
- body h1, body h2, body h3, body h4, body h5, body h6 {
120
- margin-left: 0
121
- }
122
-
123
- body pre {
124
- margin: 0.5em 10% 0.5em 1em;
125
- line-height: 1.0;
126
- color: navy;
127
- }
128
-
129
- tt.literal, code.literal {
130
- color: navy;
131
- }
132
-
133
- .programlisting, .screen {
134
- border: 1px solid silver;
135
- background: #f4f4f4;
136
- margin: 0.5em 10% 0.5em 0;
137
- padding: 0.5em 1em;
138
- }
139
-
140
- div.sidebar {
141
- background: #ffffee;
142
- margin: 1.0em 10% 0.5em 0;
143
- padding: 0.5em 1em;
144
- border: 1px solid silver;
145
- }
146
- div.sidebar * { padding: 0; }
147
- div.sidebar div { margin: 0; }
148
- div.sidebar p.title {
149
- font-family: sans-serif;
150
- margin-top: 0.5em;
151
- margin-bottom: 0.2em;
152
- }
153
-
154
- div.bibliomixed {
155
- margin: 0.5em 5% 0.5em 1em;
156
- }
157
-
158
- div.glossary dt {
159
- font-weight: bold;
160
- }
161
- div.glossary dd p {
162
- margin-top: 0.2em;
163
- }
164
-
165
- dl {
166
- margin: .8em 0;
167
- line-height: 1.2;
168
- }
169
-
170
- dt {
171
- margin-top: 0.5em;
172
- }
173
-
174
- dt span.term {
175
- font-style: normal;
176
- color: navy;
177
- }
178
-
179
- div.variablelist dd p {
180
- margin-top: 0;
181
- }
182
-
183
- div.itemizedlist li, div.orderedlist li {
184
- margin-left: -0.8em;
185
- margin-top: 0.5em;
186
- }
187
-
188
- ul, ol {
189
- list-style-position: outside;
190
- }
191
-
192
- div.sidebar ul, div.sidebar ol {
193
- margin-left: 2.8em;
194
- }
195
-
196
- div.itemizedlist p.title,
197
- div.orderedlist p.title,
198
- div.variablelist p.title
199
- {
200
- margin-bottom: -0.8em;
201
- }
202
-
203
- div.revhistory table {
204
- border-collapse: collapse;
205
- border: none;
206
- }
207
- div.revhistory th {
208
- border: none;
209
- color: #527bbd;
210
- font-family: tahoma, verdana, sans-serif;
211
- }
212
- div.revhistory td {
213
- border: 1px solid silver;
214
- }
215
-
216
- /* Keep TOC and index lines close together. */
217
- div.toc dl, div.toc dt,
218
- div.list-of-figures dl, div.list-of-figures dt,
219
- div.list-of-tables dl, div.list-of-tables dt,
220
- div.indexdiv dl, div.indexdiv dt
221
- {
222
- line-height: normal;
223
- margin-top: 0;
224
- margin-bottom: 0;
225
- }
226
-
227
- /*
228
- Table styling does not work because of overriding attributes in
229
- generated HTML.
230
- */
231
- div.table table,
232
- div.informaltable table
233
- {
234
- margin-left: 0;
235
- margin-right: 5%;
236
- margin-bottom: 0.8em;
237
- }
238
- div.informaltable table
239
- {
240
- margin-top: 0.4em
241
- }
242
- div.table thead,
243
- div.table tfoot,
244
- div.table tbody,
245
- div.informaltable thead,
246
- div.informaltable tfoot,
247
- div.informaltable tbody
248
- {
249
- /* No effect in IE6. */
250
- border-top: 2px solid #527bbd;
251
- border-bottom: 2px solid #527bbd;
252
- }
253
- div.table thead, div.table tfoot,
254
- div.informaltable thead, div.informaltable tfoot
255
- {
256
- font-weight: bold;
257
- }
258
-
259
- div.mediaobject img {
260
- border: 1px solid silver;
261
- margin-bottom: 0.8em;
262
- }
263
- div.figure p.title,
264
- div.table p.title
265
- {
266
- margin-top: 1em;
267
- margin-bottom: 0.4em;
268
- }
269
-
270
- @media print {
271
- div.navheader, div.navfooter { display: none; }
272
- }
1
+ /*
2
+ CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
3
+ Tested with XSL stylesheets 1.61.2, 1.67.2
4
+ */
5
+
6
+ span.strong {
7
+ font-weight: bold;
8
+ }
9
+
10
+ body blockquote {
11
+ margin-top: .75em;
12
+ line-height: 1.5;
13
+ margin-bottom: .75em;
14
+ }
15
+
16
+ html body {
17
+ margin: 1em 5% 1em 5%;
18
+ line-height: 1.2;
19
+ }
20
+
21
+ body div {
22
+ margin: 0;
23
+ }
24
+
25
+ h1, h2, h3, h4, h5, h6
26
+ {
27
+ color: #527bbd;
28
+ font-family: tahoma, verdana, sans-serif;
29
+ }
30
+
31
+ div.toc p:first-child,
32
+ div.list-of-figures p:first-child,
33
+ div.list-of-tables p:first-child,
34
+ div.list-of-examples p:first-child,
35
+ div.example p.title,
36
+ div.sidebar p.title
37
+ {
38
+ font-weight: bold;
39
+ color: #527bbd;
40
+ font-family: tahoma, verdana, sans-serif;
41
+ margin-bottom: 0.2em;
42
+ }
43
+
44
+ body h1 {
45
+ margin: .0em 0 0 -4%;
46
+ line-height: 1.3;
47
+ border-bottom: 2px solid silver;
48
+ }
49
+
50
+ body h2 {
51
+ margin: 0.5em 0 0 -4%;
52
+ line-height: 1.3;
53
+ border-bottom: 2px solid silver;
54
+ }
55
+
56
+ body h3 {
57
+ margin: .8em 0 0 -3%;
58
+ line-height: 1.3;
59
+ }
60
+
61
+ body h4 {
62
+ margin: .8em 0 0 -3%;
63
+ line-height: 1.3;
64
+ }
65
+
66
+ body h5 {
67
+ margin: .8em 0 0 -2%;
68
+ line-height: 1.3;
69
+ }
70
+
71
+ body h6 {
72
+ margin: .8em 0 0 -1%;
73
+ line-height: 1.3;
74
+ }
75
+
76
+ body hr {
77
+ border: none; /* Broken on IE6 */
78
+ }
79
+ div.footnotes hr {
80
+ border: 1px solid silver;
81
+ }
82
+
83
+ div.navheader th, div.navheader td, div.navfooter td {
84
+ font-family: sans-serif;
85
+ font-size: 0.9em;
86
+ font-weight: bold;
87
+ color: #527bbd;
88
+ }
89
+ div.navheader img, div.navfooter img {
90
+ border-style: none;
91
+ }
92
+ div.navheader a, div.navfooter a {
93
+ font-weight: normal;
94
+ }
95
+ div.navfooter hr {
96
+ border: 1px solid silver;
97
+ }
98
+
99
+ body td {
100
+ line-height: 1.2
101
+ }
102
+
103
+ body th {
104
+ line-height: 1.2;
105
+ }
106
+
107
+ ol {
108
+ line-height: 1.2;
109
+ }
110
+
111
+ ul, body dir, body menu {
112
+ line-height: 1.2;
113
+ }
114
+
115
+ html {
116
+ margin: 0;
117
+ padding: 0;
118
+ }
119
+
120
+ body h1, body h2, body h3, body h4, body h5, body h6 {
121
+ margin-left: 0
122
+ }
123
+
124
+ body pre {
125
+ margin: 0.5em 10% 0.5em 1em;
126
+ line-height: 1.0;
127
+ color: navy;
128
+ }
129
+
130
+ tt.literal, code.literal {
131
+ color: navy;
132
+ }
133
+
134
+ .programlisting, .screen {
135
+ border: 1px solid silver;
136
+ background: #f4f4f4;
137
+ margin: 0.5em 10% 0.5em 0;
138
+ padding: 0.5em 1em;
139
+ }
140
+
141
+ div.sidebar {
142
+ background: #ffffee;
143
+ margin: 1.0em 10% 0.5em 0;
144
+ padding: 0.5em 1em;
145
+ border: 1px solid silver;
146
+ }
147
+ div.sidebar * { padding: 0; }
148
+ div.sidebar div { margin: 0; }
149
+ div.sidebar p.title {
150
+ margin-top: 0.5em;
151
+ margin-bottom: 0.2em;
152
+ }
153
+
154
+ div.bibliomixed {
155
+ margin: 0.5em 5% 0.5em 1em;
156
+ }
157
+
158
+ div.glossary dt {
159
+ font-weight: bold;
160
+ }
161
+ div.glossary dd p {
162
+ margin-top: 0.2em;
163
+ }
164
+
165
+ dl {
166
+ margin: .8em 0;
167
+ line-height: 1.2;
168
+ }
169
+
170
+ dt {
171
+ margin-top: 0.5em;
172
+ }
173
+
174
+ dt span.term {
175
+ font-style: normal;
176
+ color: navy;
177
+ }
178
+
179
+ div.variablelist dd p {
180
+ margin-top: 0;
181
+ }
182
+
183
+ div.itemizedlist li, div.orderedlist li {
184
+ margin-left: -0.8em;
185
+ margin-top: 0.5em;
186
+ }
187
+
188
+ ul, ol {
189
+ list-style-position: outside;
190
+ }
191
+
192
+ div.sidebar ul, div.sidebar ol {
193
+ margin-left: 2.8em;
194
+ }
195
+
196
+ div.itemizedlist p.title,
197
+ div.orderedlist p.title,
198
+ div.variablelist p.title
199
+ {
200
+ margin-bottom: -0.8em;
201
+ }
202
+
203
+ div.revhistory table {
204
+ border-collapse: collapse;
205
+ border: none;
206
+ }
207
+ div.revhistory th {
208
+ border: none;
209
+ color: #527bbd;
210
+ font-family: tahoma, verdana, sans-serif;
211
+ }
212
+ div.revhistory td {
213
+ border: 1px solid silver;
214
+ }
215
+
216
+ /* Keep TOC and index lines close together. */
217
+ div.toc dl, div.toc dt,
218
+ div.list-of-figures dl, div.list-of-figures dt,
219
+ div.list-of-tables dl, div.list-of-tables dt,
220
+ div.indexdiv dl, div.indexdiv dt
221
+ {
222
+ line-height: normal;
223
+ margin-top: 0;
224
+ margin-bottom: 0;
225
+ }
226
+
227
+ /*
228
+ Table styling does not work because of overriding attributes in
229
+ generated HTML.
230
+ */
231
+ div.table table,
232
+ div.informaltable table
233
+ {
234
+ margin-left: 0;
235
+ margin-right: 5%;
236
+ margin-bottom: 0.8em;
237
+ }
238
+ div.informaltable table
239
+ {
240
+ margin-top: 0.4em
241
+ }
242
+ div.table thead,
243
+ div.table tfoot,
244
+ div.table tbody,
245
+ div.informaltable thead,
246
+ div.informaltable tfoot,
247
+ div.informaltable tbody
248
+ {
249
+ /* No effect in IE6. */
250
+ border-top: 3px solid #527bbd;
251
+ border-bottom: 3px solid #527bbd;
252
+ }
253
+ div.table thead, div.table tfoot,
254
+ div.informaltable thead, div.informaltable tfoot
255
+ {
256
+ font-weight: bold;
257
+ }
258
+
259
+ div.mediaobject img {
260
+ margin-bottom: 0.8em;
261
+ }
262
+ div.figure p.title,
263
+ div.table p.title
264
+ {
265
+ margin-top: 1em;
266
+ margin-bottom: 0.4em;
267
+ }
268
+
269
+ div.calloutlist p
270
+ {
271
+ margin-top: 0em;
272
+ margin-bottom: 0.4em;
273
+ }
274
+
275
+ a img {
276
+ border-style: none;
277
+ }
278
+
279
+ @media print {
280
+ div.navheader, div.navfooter { display: none; }
281
+ }
282
+
283
+ span.aqua { color: aqua; }
284
+ span.black { color: black; }
285
+ span.blue { color: blue; }
286
+ span.fuchsia { color: fuchsia; }
287
+ span.gray { color: gray; }
288
+ span.green { color: green; }
289
+ span.lime { color: lime; }
290
+ span.maroon { color: maroon; }
291
+ span.navy { color: navy; }
292
+ span.olive { color: olive; }
293
+ span.purple { color: purple; }
294
+ span.red { color: red; }
295
+ span.silver { color: silver; }
296
+ span.teal { color: teal; }
297
+ span.white { color: white; }
298
+ span.yellow { color: yellow; }
299
+
300
+ span.aqua-background { background: aqua; }
301
+ span.black-background { background: black; }
302
+ span.blue-background { background: blue; }
303
+ span.fuchsia-background { background: fuchsia; }
304
+ span.gray-background { background: gray; }
305
+ span.green-background { background: green; }
306
+ span.lime-background { background: lime; }
307
+ span.maroon-background { background: maroon; }
308
+ span.navy-background { background: navy; }
309
+ span.olive-background { background: olive; }
310
+ span.purple-background { background: purple; }
311
+ span.red-background { background: red; }
312
+ span.silver-background { background: silver; }
313
+ span.teal-background { background: teal; }
314
+ span.white-background { background: white; }
315
+ span.yellow-background { background: yellow; }
316
+
317
+ span.big { font-size: 2em; }
318
+ span.small { font-size: 0.6em; }
319
+
320
+ span.underline { text-decoration: underline; }
321
+ span.overline { text-decoration: overline; }
322
+ span.line-through { text-decoration: line-through; }