lfs.css 4.2 KB

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