blfs.css 7.0 KB

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