lfs.css 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245
  1. /* Global settings */
  2. body {
  3. font-family: sans-serif;
  4. text-align: left;
  5. background: #fff;
  6. color: #333;
  7. margin: 1em;
  8. padding: 0;
  9. font-size: 1em;
  10. line-height: 1.2em
  11. }
  12. a:link { color: #22b; }
  13. a:visited { color: #7e4988; }
  14. a:hover, a:focus { color: #d30e08; }
  15. a:active { color: #6b77b1;}
  16. /* Headers */
  17. h1, h2, b, strong {
  18. color: #000;
  19. font-weight: bold;
  20. }
  21. h3, h4, h5, h6 {
  22. color: #222;
  23. }
  24. h1 { font-size: 200%; text-align: center; }
  25. h2 { font-size: 170%; padding-top: 0; margin-top: 0.5em; }
  26. h2.subtitle { text-align: center; }
  27. h3 { font-size: 140%; }
  28. h4 { font-size: 110%;}
  29. h5, h6 { font-size: 110%; font-style: italic; }
  30. /* Navigation */
  31. div.headertitles h4 {
  32. margin-bottom: 0px;
  33. }
  34. div.headertitles h3 {
  35. margin-top: 0px;
  36. }
  37. div.navheader, div.navfooter {
  38. background: #ecedef;
  39. text-align: center;
  40. padding: 0.2em 1em;
  41. border-bottom: 1px solid #dbddec;
  42. }
  43. div.navfooter {
  44. border-bottom: 0;
  45. border-top: 1px solid #dbddec;
  46. }
  47. div.navheader ul, div.navfooter ul {
  48. padding: .3em;
  49. text-align: center;
  50. position: relative;
  51. background: #dbddec;
  52. }
  53. div.navheader ul li, div.navfooter ul li {
  54. display: inline;
  55. }
  56. div.navheader ul li.prev a, div.navfooter ul li.prev a {
  57. position: absolute;
  58. left: 0;
  59. text-align: left;
  60. padding: 0 .5em;
  61. }
  62. div.navheader ul li.next a, div.navfooter ul li.next a {
  63. position: absolute;
  64. right: 0;
  65. text-align: right;
  66. padding: 0 .5em;
  67. background: #dbddec;
  68. }
  69. div.navheader ul li.home, div.navheader ul li.up,
  70. div.navfooter ul li.home, div.navfooter ul li.up {
  71. padding: 0;
  72. margin: 0;
  73. display: block;
  74. }
  75. /* TOC & Index*/
  76. div.toc ul, div.index ul, div.navheader ul, div.navfooter ul {
  77. list-style: none;
  78. }
  79. div.toc, div.dedication {
  80. padding-left: 1em;
  81. }
  82. li.preface {
  83. margin-left: 1em;
  84. }
  85. div.toc ul li h3, div.toc ul li h4 {
  86. margin: .4em;
  87. }
  88. .item {
  89. width: 15em;
  90. float: left;
  91. }
  92. .secitem {
  93. font-weight: normal;
  94. width: 14em;
  95. float: left;
  96. }
  97. /* Admonitions */
  98. div.admonition {
  99. border: medium solid;
  100. width: 90%;
  101. margin: .5em auto;
  102. }
  103. div.admonhead img {
  104. padding: .3em;
  105. }
  106. div.admonhead h3 {
  107. display: inline;
  108. margin-left: 1.5em;
  109. }
  110. div.admonbody {
  111. margin: .5em;
  112. }
  113. /* Monospaced elements */
  114. tt, code, kbd, pre, .command {
  115. font-family: monospace;
  116. font-size: 1em;
  117. }
  118. pre.screen {
  119. color: #600;
  120. background-color: #ffffe0;
  121. border: 1px solid #eeeed0;
  122. padding: .5em 2em;
  123. margin: 0;
  124. font-weight: bold;
  125. }
  126. /* variablelist & segmentedlist */
  127. div.variablelist dd {
  128. margin-bottom: 1em;
  129. }
  130. div.variablelist dd p {
  131. margin-top: 0px;
  132. }
  133. div.segmentedlist {
  134. margin-top: 1em;
  135. }
  136. div.segmentedlist p {
  137. margin: 0px auto;
  138. }
  139. dl.materials dd {
  140. margin-left: 0px;
  141. }
  142. /* Indented blocks */
  143. p, ul, dl, code, blockquote {
  144. padding-left: 1em;
  145. }
  146. /* Sections */
  147. div.wrap h1 {
  148. background: #f5f6f7;
  149. padding: 0.8em 0 0.5em 0;
  150. margin: 0;
  151. }
  152. div.package {
  153. background: #f5f6f7;
  154. border-bottom: .3em solid #dbddec;
  155. padding: 0 0.5em 1em 0.5em;
  156. margin: 0;
  157. }
  158. div.installation {
  159. background: #fefefe;
  160. padding: 0 0.5em 0.5em 0.5em;
  161. margin: .5em 0 .5em 0;
  162. }
  163. div.content {
  164. background: #f5f6f7;
  165. border-top: .3em solid #dbddec;
  166. padding: 1em 0.5em 0.5em 0.5em;
  167. margin: .5em 0 .5em 0;
  168. }
  169. div.installation h2, div.content h2 {
  170. padding-top: 0.4em;
  171. margin: 0;
  172. }
  173. div.book, div.preface, div.part, div.chapter, div.sect1, div.index {
  174. background: #fefefe;
  175. padding-bottom: 0.5em;
  176. }
  177. div.preface h1, div.part h1, div.chapter h1, div.sect1 h1, div.index h1 {
  178. background: #f5f6f7;
  179. border-bottom: .1em solid #dbddec;
  180. margin: 0px auto;
  181. padding: .5em;
  182. }
  183. div.book h1 {
  184. background: #f5f6f7;
  185. margin: 0px auto;
  186. padding: 0.5em;
  187. }
  188. div.book h2.subtitle {
  189. background: #dbddec;
  190. margin: 0px auto;
  191. padding: 0.2em;
  192. }
  193. div.authorgroup, div p.copyright, div.abstract {
  194. background: #f5f6f7;
  195. margin: 0px auto;
  196. padding: 0 0.5em;
  197. }
  198. hr {
  199. background: #dbddec;
  200. height: .3em;
  201. border: 0px;
  202. margin: 0px auto;
  203. }