lfs.css 7.0 KB

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