lfs.css 4.6 KB

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