lfs.css 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412
  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; line-height: 1.2em; }
  25. h2 { font-size: 144%; padding-top: 0.2em; margin-top: 0.3em; line-height: 1.2em; }
  26. h2.subtitle { text-align: center; line-height: 1.2em; }
  27. h3 { font-size: 120%; line-height: 1.2em; }
  28. h4 { font-size: 110%; line-height: 1.2em; }
  29. h5, h6 { font-size: 110%; font-style: italic; line-height: 1.2em; }
  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. width: 40%;
  58. }
  59. div.navheader ul li.prev, div.navfooter ul li.prev {
  60. position: absolute;
  61. display: block;
  62. left: 0;
  63. text-align: left;
  64. padding: 0.2em 1em;
  65. margin-left: 6px;
  66. }
  67. div.navheader ul li.next, div.navfooter ul li.next {
  68. position: absolute;
  69. display: block;
  70. text-align: right;
  71. right: 5px;
  72. padding: 0.2em 0.5em;
  73. margin-right: 7px;
  74. }
  75. div.navheader ul li.prev p, div.navfooter ul li.prev p,
  76. div.navheader ul li.next p, div.navfooter ul li.next p {
  77. padding: 0;
  78. margin: 1px 0px;
  79. }
  80. div.navheader ul li.home, div.navheader ul li.up,
  81. div.navfooter ul li.home, div.navfooter ul li.up {
  82. text-align: center;
  83. padding: 0;
  84. margin: 0px auto;
  85. display: block;
  86. color: #dbddec;
  87. }
  88. /* TOC & Index*/
  89. div.toc ul, div.index ul, div.navheader ul, div.navfooter ul {
  90. list-style: none;
  91. }
  92. div.toc, div.dedication {
  93. padding-left: 1em;
  94. }
  95. li.preface, li.appendix {
  96. margin-left: 1em;
  97. }
  98. div.toc ul li h3, div.toc ul li h4 {
  99. margin: .4em;
  100. }
  101. .item {
  102. width: 26em;
  103. float: left;
  104. }
  105. .secitem {
  106. font-weight: normal;
  107. width: 25em;
  108. float: left;
  109. }
  110. /* Admonitions */
  111. div.note, div.tip {
  112. background-color: #fffff6;
  113. border: 2px solid #dbddec;
  114. width: 90%;
  115. margin: .5em auto;
  116. }
  117. div.important, div.warning, div.caution {
  118. background-color: #fffff6;
  119. border: medium solid #400;
  120. width: 90%;
  121. margin: 1.5em auto;
  122. color: #600;
  123. font-size: larger;
  124. }
  125. div.important h3, div.warning h3, div.caution h3 {
  126. color: #900;
  127. }
  128. div.admonhead img {
  129. padding: .3em;
  130. }
  131. div.admonhead h3 {
  132. display: inline;
  133. margin-left: 1.5em;
  134. }
  135. div.admonbody {
  136. margin: .5em;
  137. }
  138. div.important em, div.warning em, div.caution em {
  139. color: #000;
  140. font-weight: bold;
  141. }
  142. div.important tt, div.warning tt, div.caution tt {
  143. font-weight: bold;
  144. }
  145. div.important tt.literal, div.warning tt.literal, div.caution tt.literal {
  146. font-weight: normal;
  147. }
  148. /* variablelist & segmentedlist */
  149. dl {
  150. margin: 0;
  151. padding: 0;
  152. }
  153. dt {
  154. display: list-item;
  155. font-weight: bold;
  156. margin: .33em 0 0 1em;
  157. padding: 0;
  158. }
  159. dd {
  160. margin: 0 0 1em 3em;
  161. padding: 0;
  162. }
  163. table {
  164. width: auto;
  165. margin-left: 1em;
  166. }
  167. td {
  168. vertical-align: top;
  169. }
  170. td span, td p {
  171. margin: 0.3em;
  172. }
  173. span.term {
  174. display: block;
  175. }
  176. div.variablelist dd {
  177. margin-bottom: 1em;
  178. }
  179. div.variablelist dd p {
  180. margin-top: 0px;
  181. margin-bottom: 0px;
  182. padding-top: 0px;
  183. padding-bottom: 0px;
  184. }
  185. div.materials dd {
  186. margin-left: 0px;
  187. }
  188. div.package div.seg {
  189. margin-bottom: 0em;
  190. margin-top: 0em;
  191. clear: left;
  192. }
  193. div.package span.segtitle, div.appendix span.segtitle {
  194. float: left;
  195. }
  196. div.package span.seg, div.appendix span.seg {
  197. display: block;
  198. padding-left: 14em;
  199. }
  200. div.appendix div.segmentedlist {
  201. padding-left: 1em;
  202. }
  203. div.appendix h2 {
  204. font-size: 133%;
  205. margin-top: 1em;
  206. margin-bottom: 0.2em;
  207. }
  208. div.content div.seg {
  209. margin-bottom: 1em;
  210. margin-top: 1em;
  211. clear: left;
  212. }
  213. div.content span.segtitle {
  214. float: left;
  215. }
  216. div.content span.seg {
  217. display: block;
  218. padding-left: 12em;
  219. }
  220. /* itemizedlist */
  221. div.itemizedlist {
  222. margin-left: 1em;
  223. }
  224. ul[compact="compact"] {
  225. list-style: none;
  226. }
  227. ul[compact="compact"] li {
  228. margin: 0em;
  229. padding: 0em;
  230. }
  231. ul[compact="compact"] li p {
  232. padding: 0.3em;
  233. margin: 0em;
  234. }
  235. /*table */
  236. div.table {
  237. text-align: center;
  238. }
  239. div.table table {
  240. margin-left: auto;
  241. margin-right: auto;
  242. text-align: center;
  243. }
  244. div.table table th, div.table table td {
  245. padding: 0.2em 2em 0.2em 2em;
  246. }
  247. /* Indented blocks */
  248. p, ul, dl, code, blockquote {
  249. padding-left: 1em;
  250. }
  251. /* Monospaced elements */
  252. tt, code, kbd, pre, .command {
  253. font-family: monospace;
  254. }
  255. tt.systemitem {
  256. font-style: italic;
  257. }
  258. pre.userinput {
  259. color: #101310;
  260. background-color: #e5e5e5;
  261. border: 1px solid #050505;
  262. padding: .5em 1em;
  263. margin: 0 2em;
  264. font-weight: bold;
  265. }
  266. .literal {
  267. font-weight: normal;
  268. }
  269. pre.screen {
  270. color: #000;
  271. background-color: #e9e9e9;
  272. border: 1px solid #050505;
  273. padding: .5em 1em;
  274. margin: 0 2em;
  275. }
  276. /* Sections */
  277. div.wrap h1 {
  278. background: #f5f6f7;
  279. padding: 1em 0 0.5em 0;
  280. margin: 0px auto;
  281. }
  282. div.package {
  283. background: #f5f6f7;
  284. border-bottom: 0.2em solid #dbddec;
  285. padding: 0.5em 0.5em 0.3em 0.5em;
  286. margin: 0px auto;
  287. }
  288. div.installation {
  289. padding: 0 0.5em 0.3em 0.5em;
  290. margin: 0.5em 0 0.5em 0;
  291. }
  292. div.configuration {
  293. background: #fefefe;
  294. border-top: 0.2em solid #dbddec;
  295. padding: 0.5em;
  296. margin: 0.5em 0 .5em 0;
  297. }
  298. div.content {
  299. background: #f5f6f7;
  300. border-top: 0.2em solid #dbddec;
  301. padding: 0.5em 0.5em 1em 0.5em;
  302. margin: 0.5em 0 .5em 0;
  303. }
  304. div.installation h2, div.content h2 {
  305. padding-top: 0.3em;
  306. margin: 0;
  307. }
  308. div.book, div.preface, div.part, div.chapter, div.sect1, div.appendix, div.index {
  309. padding-bottom: 0.5em;
  310. }
  311. div.preface h1, div.part h1, div.chapter h1, div.sect1 h1, div.appendix h1, div.index h1 {
  312. background: #f5f6f7;
  313. border-bottom: .1em solid #dbddec;
  314. margin: 0px auto;
  315. padding: .5em;
  316. }
  317. div.book h1 {
  318. background: #f5f6f7;
  319. margin: 0px auto;
  320. padding: 0.5em;
  321. }
  322. div.book h2.subtitle {
  323. background: #dbddec;
  324. margin: 0px auto;
  325. padding: 0.2em;
  326. }
  327. div.authorgroup, div p.copyright, div.abstract {
  328. background: #f5f6f7;
  329. margin: 0px auto;
  330. padding: 1em 0.5em;
  331. }
  332. hr {
  333. background: #dbddec;
  334. height: .3em;
  335. border: 0px;
  336. margin: 0px auto;
  337. padding: 0;
  338. }