lfs.css 7.0 KB

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