home *** CD-ROM | disk | FTP | other *** search
/ Maximum CD 2010 July / maximum-cd-2010-07.iso / DiscContents / wesnoth-1.8-win32.exe / manual / styles / manual.css
Encoding:
Cascading Style Sheet File  |  2009-12-27  |  4.5 KB  |  278 lines
  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. .guimenu, .guimenuitem, .guisubmenu, .guilabel, .guibutton {
  141.     font-style: normal;
  142.     font-weight: bold;
  143.     color: black;
  144. }
  145.  
  146. div.sidebar {
  147.   background: #ffffee;
  148.   margin: 1.0em 10% 0.5em 0;
  149.   padding: 0.5em 1em;
  150.   border: 1px solid silver;
  151. }
  152. div.sidebar * { padding: 0; }
  153. div.sidebar div { margin: 0; }
  154. div.sidebar p.title {
  155.   font-family: sans-serif;
  156.   margin-top: 0.5em;
  157.   margin-bottom: 0.2em;
  158. }
  159.  
  160. div.bibliomixed {
  161.   margin: 0.5em 5% 0.5em 1em;
  162. }
  163.  
  164. div.glossary dt {
  165.   font-weight: bold;
  166. }
  167. div.glossary dd p {
  168.   margin-top: 0.2em;
  169. }
  170.  
  171. dl {
  172.   margin: .8em 0;
  173.   line-height: 1.2;
  174. }
  175.  
  176. dt {
  177.   margin-top: 0.5em;
  178. }
  179.  
  180. dt span.term {
  181.   font-style: italic;
  182. }
  183.  
  184. div.variablelist dd p {
  185.   margin-top: 0;
  186. }
  187.  
  188. div.itemizedlist li, div.orderedlist li {
  189.   margin-left: -0.8em;
  190.   margin-top: 0.5em;
  191. }
  192.  
  193. ul, ol {
  194.     list-style-position: outside;
  195. }
  196.  
  197. div.sidebar ul, div.sidebar ol {
  198.     margin-left: 2.8em;
  199. }
  200.  
  201. div.itemizedlist p.title,
  202. div.orderedlist p.title,
  203. div.variablelist p.title
  204. {
  205.   margin-bottom: -0.8em;
  206. }
  207.  
  208. div.revhistory table {
  209.   border-collapse: collapse;
  210.   border: none;
  211. }
  212. div.revhistory th {
  213.   border: none;
  214.   color: #527bbd;
  215.   font-family: tahoma, verdana, sans-serif;
  216. }
  217. div.revhistory td {
  218.   border: 1px solid silver;
  219. }
  220.  
  221. /* Keep TOC and index lines close together. */
  222. div.toc dl, div.toc dt,
  223. div.list-of-figures dl, div.list-of-figures dt,
  224. div.list-of-tables dl, div.list-of-tables dt,
  225. div.indexdiv dl, div.indexdiv dt
  226. {
  227.   line-height: normal;
  228.   margin-top: 0;
  229.   margin-bottom: 0;
  230. }
  231.  
  232. /*
  233.   Table styling does not work because of overriding attributes in
  234.   generated HTML.
  235. */
  236. div.table table,
  237. div.informaltable table
  238. {
  239.     margin-left: 0;
  240.     margin-right: 5%;
  241.     margin-bottom: 0.8em;
  242. }
  243. div.informaltable table
  244. {
  245.     margin-top: 0.4em
  246. }
  247. div.table thead,
  248. div.table tfoot,
  249. div.table tbody,
  250. div.informaltable thead,
  251. div.informaltable tfoot,
  252. div.informaltable tbody
  253. {
  254.     /* No effect in IE6. */
  255.     border-top: 2px solid #527bbd;
  256.     border-bottom: 2px solid #527bbd;
  257. }
  258. div.table thead, div.table tfoot,
  259. div.informaltable thead, div.informaltable tfoot
  260. {
  261.     font-weight: bold;
  262. }
  263.  
  264. div.mediaobject img {
  265.     border: 1px solid silver;
  266.     margin-bottom: 0.8em;
  267. }
  268. div.figure p.title,
  269. div.table p.title
  270. {
  271.   margin-top: 1em;
  272.   margin-bottom: 0.4em;
  273. }
  274.  
  275. @media print {
  276.   div.navheader, div.navfooter { display: none; }
  277. }
  278.