lfs.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132
  1. body {
  2. font-weight: normal;
  3. font-size: medium;
  4. font-family: verdana, tahoma, helvetica, arial, sans-serif;
  5. text-align: left;
  6. }
  7. .toc ul, .index ul,.navheader ul, .navfooter ul {
  8. list-style: none;
  9. }
  10. .navheader, .navfooter {
  11. font-size: smaller;
  12. text-align: center;
  13. }
  14. .headerlinks {
  15. border-bottom : solid 2px green;
  16. padding-bottom: 0.5em;
  17. }
  18. .navfooter {
  19. border-top : solid 2px green;
  20. padding-top: 0.5em;
  21. margin-top: 0.5em;
  22. }
  23. .prev {
  24. float : left;
  25. text-align: left;
  26. }
  27. .next {
  28. float : right;
  29. text-align: right;
  30. padding-right: 2em;
  31. }
  32. .up, .home {
  33. width : 10em;
  34. margin: 0px auto;
  35. }
  36. li.preface {
  37. margin-left: 2.5em;
  38. }
  39. div.book div.titlepage h1.title {
  40. font-weight: bold;
  41. font-size: xx-large;
  42. text-align: center;
  43. }
  44. div.book div.titlepage h2.subtitle {
  45. font-weight: bold;
  46. font-size: x-large;
  47. text-align: center;
  48. }
  49. div.book div.titlepage h3.author {
  50. font-size: large;
  51. }
  52. div.book div.dedication div.titlepage h2.title {
  53. font-weight: normal;
  54. font-size: x-large;
  55. }
  56. div.chapter div.titlepage h2.title {
  57. font-weight: bold;
  58. font-size: x-large;
  59. text-align: left;
  60. }
  61. div.sect1 div.titlepage h2.title {
  62. font-weight: bold;
  63. font-size: x-large;
  64. text-align: left;
  65. }
  66. tt {
  67. font-family: courier, monospace;
  68. }
  69. pre.screen {
  70. color: black;
  71. background-color: #dddddd;
  72. }
  73. pre.synopsis {
  74. color: black;
  75. background-color: #dddddd;
  76. }
  77. div.admonition {
  78. border: medium solid;
  79. width: 90%;
  80. margin: .5em auto;
  81. }
  82. div.admonhead h3 {
  83. display: inline;
  84. margin-left: 1.5em;
  85. }
  86. div.admonbody {
  87. margin: .5em;
  88. }
  89. .command {
  90. font-family: courier, monospace;
  91. }
  92. .item {
  93. width: 15em;
  94. float: left;
  95. }
  96. .secitem {
  97. font-weight: normal;
  98. width: 12.5em;
  99. float: left;
  100. }
  101. .materials dd {
  102. margin-bottom: 1em;
  103. margin-left: 0px auto;
  104. }
  105. .materials dd p {
  106. margin-top: 0px auto;
  107. }