docbook-xsl.css 5.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329
  1. /*
  2. CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
  3. */
  4. body {
  5. font-family: Georgia,serif;
  6. }
  7. code, pre {
  8. font-family: "Courier New", Courier, monospace;
  9. }
  10. span.strong {
  11. font-weight: bold;
  12. }
  13. body blockquote {
  14. margin-top: .75em;
  15. line-height: 1.5;
  16. margin-bottom: .75em;
  17. }
  18. html body {
  19. margin: 1em 5% 1em 5%;
  20. line-height: 1.2;
  21. }
  22. body div {
  23. margin: 0;
  24. }
  25. h1, h2, h3, h4, h5, h6
  26. {
  27. color: #527bbd;
  28. font-family: Arial,Helvetica,sans-serif;
  29. }
  30. div.toc p:first-child,
  31. div.list-of-figures p:first-child,
  32. div.list-of-tables p:first-child,
  33. div.list-of-examples p:first-child,
  34. div.example p.title,
  35. div.sidebar p.title
  36. {
  37. font-weight: bold;
  38. color: #527bbd;
  39. font-family: Arial,Helvetica,sans-serif;
  40. margin-bottom: 0.2em;
  41. }
  42. body h1 {
  43. margin: .0em 0 0 -4%;
  44. line-height: 1.3;
  45. border-bottom: 2px solid silver;
  46. }
  47. body h2 {
  48. margin: 0.5em 0 0 -4%;
  49. line-height: 1.3;
  50. border-bottom: 2px solid silver;
  51. }
  52. body h3 {
  53. margin: .8em 0 0 -3%;
  54. line-height: 1.3;
  55. }
  56. body h4 {
  57. margin: .8em 0 0 -3%;
  58. line-height: 1.3;
  59. }
  60. body h5 {
  61. margin: .8em 0 0 -2%;
  62. line-height: 1.3;
  63. }
  64. body h6 {
  65. margin: .8em 0 0 -1%;
  66. line-height: 1.3;
  67. }
  68. body hr {
  69. border: none; /* Broken on IE6 */
  70. }
  71. div.footnotes hr {
  72. border: 1px solid silver;
  73. }
  74. div.navheader th, div.navheader td, div.navfooter td {
  75. font-family: Arial,Helvetica,sans-serif;
  76. font-size: 0.9em;
  77. font-weight: bold;
  78. color: #527bbd;
  79. }
  80. div.navheader img, div.navfooter img {
  81. border-style: none;
  82. }
  83. div.navheader a, div.navfooter a {
  84. font-weight: normal;
  85. }
  86. div.navfooter hr {
  87. border: 1px solid silver;
  88. }
  89. body td {
  90. line-height: 1.2
  91. }
  92. body th {
  93. line-height: 1.2;
  94. }
  95. ol {
  96. line-height: 1.2;
  97. }
  98. ul, body dir, body menu {
  99. line-height: 1.2;
  100. }
  101. html {
  102. margin: 0;
  103. padding: 0;
  104. }
  105. body h1, body h2, body h3, body h4, body h5, body h6 {
  106. margin-left: 0
  107. }
  108. body pre {
  109. margin: 0.5em 10% 0.5em 1em;
  110. line-height: 1.0;
  111. color: navy;
  112. }
  113. tt.literal, code.literal {
  114. color: navy;
  115. }
  116. .programlisting, .screen {
  117. border: 1px solid silver;
  118. background: #f4f4f4;
  119. margin: 0.5em 10% 0.5em 0;
  120. padding: 0.5em 1em;
  121. }
  122. div.sidebar {
  123. background: #ffffee;
  124. margin: 1.0em 10% 0.5em 0;
  125. padding: 0.5em 1em;
  126. border: 1px solid silver;
  127. }
  128. div.sidebar * { padding: 0; }
  129. div.sidebar div { margin: 0; }
  130. div.sidebar p.title {
  131. margin-top: 0.5em;
  132. margin-bottom: 0.2em;
  133. }
  134. div.bibliomixed {
  135. margin: 0.5em 5% 0.5em 1em;
  136. }
  137. div.glossary dt {
  138. font-weight: bold;
  139. }
  140. div.glossary dd p {
  141. margin-top: 0.2em;
  142. }
  143. dl {
  144. margin: .8em 0;
  145. line-height: 1.2;
  146. }
  147. dt {
  148. margin-top: 0.5em;
  149. }
  150. dt span.term {
  151. font-style: normal;
  152. color: navy;
  153. }
  154. div.variablelist dd p {
  155. margin-top: 0;
  156. }
  157. div.itemizedlist li, div.orderedlist li {
  158. margin-left: -0.8em;
  159. margin-top: 0.5em;
  160. }
  161. ul, ol {
  162. list-style-position: outside;
  163. }
  164. div.sidebar ul, div.sidebar ol {
  165. margin-left: 2.8em;
  166. }
  167. div.itemizedlist p.title,
  168. div.orderedlist p.title,
  169. div.variablelist p.title
  170. {
  171. margin-bottom: -0.8em;
  172. }
  173. div.revhistory table {
  174. border-collapse: collapse;
  175. border: none;
  176. }
  177. div.revhistory th {
  178. border: none;
  179. color: #527bbd;
  180. font-family: Arial,Helvetica,sans-serif;
  181. }
  182. div.revhistory td {
  183. border: 1px solid silver;
  184. }
  185. /* Keep TOC and index lines close together. */
  186. div.toc dl, div.toc dt,
  187. div.list-of-figures dl, div.list-of-figures dt,
  188. div.list-of-tables dl, div.list-of-tables dt,
  189. div.indexdiv dl, div.indexdiv dt
  190. {
  191. line-height: normal;
  192. margin-top: 0;
  193. margin-bottom: 0;
  194. }
  195. /*
  196. Table styling does not work because of overriding attributes in
  197. generated HTML.
  198. */
  199. div.table table,
  200. div.informaltable table
  201. {
  202. margin-left: 0;
  203. margin-right: 5%;
  204. margin-bottom: 0.8em;
  205. }
  206. div.informaltable table
  207. {
  208. margin-top: 0.4em
  209. }
  210. div.table thead,
  211. div.table tfoot,
  212. div.table tbody,
  213. div.informaltable thead,
  214. div.informaltable tfoot,
  215. div.informaltable tbody
  216. {
  217. /* No effect in IE6. */
  218. border-top: 3px solid #527bbd;
  219. border-bottom: 3px solid #527bbd;
  220. }
  221. div.table thead, div.table tfoot,
  222. div.informaltable thead, div.informaltable tfoot
  223. {
  224. font-weight: bold;
  225. }
  226. div.mediaobject img {
  227. margin-bottom: 0.8em;
  228. }
  229. div.figure p.title,
  230. div.table p.title
  231. {
  232. margin-top: 1em;
  233. margin-bottom: 0.4em;
  234. }
  235. div.calloutlist p
  236. {
  237. margin-top: 0em;
  238. margin-bottom: 0.4em;
  239. }
  240. a img {
  241. border-style: none;
  242. }
  243. @media print {
  244. div.navheader, div.navfooter { display: none; }
  245. }
  246. span.aqua { color: aqua; }
  247. span.black { color: black; }
  248. span.blue { color: blue; }
  249. span.fuchsia { color: fuchsia; }
  250. span.gray { color: gray; }
  251. span.green { color: green; }
  252. span.lime { color: lime; }
  253. span.maroon { color: maroon; }
  254. span.navy { color: navy; }
  255. span.olive { color: olive; }
  256. span.purple { color: purple; }
  257. span.red { color: red; }
  258. span.silver { color: silver; }
  259. span.teal { color: teal; }
  260. span.white { color: white; }
  261. span.yellow { color: yellow; }
  262. span.aqua-background { background: aqua; }
  263. span.black-background { background: black; }
  264. span.blue-background { background: blue; }
  265. span.fuchsia-background { background: fuchsia; }
  266. span.gray-background { background: gray; }
  267. span.green-background { background: green; }
  268. span.lime-background { background: lime; }
  269. span.maroon-background { background: maroon; }
  270. span.navy-background { background: navy; }
  271. span.olive-background { background: olive; }
  272. span.purple-background { background: purple; }
  273. span.red-background { background: red; }
  274. span.silver-background { background: silver; }
  275. span.teal-background { background: teal; }
  276. span.white-background { background: white; }
  277. span.yellow-background { background: yellow; }
  278. span.big { font-size: 2em; }
  279. span.small { font-size: 0.6em; }
  280. span.underline { text-decoration: underline; }
  281. span.overline { text-decoration: overline; }
  282. span.line-through { text-decoration: line-through; }