lfs.css 6.5 KB

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