lfs.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128
  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 {
  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. /* border : solid 1px #ddd; */
  27. padding-left: 2em;
  28. }
  29. .next {
  30. float : right;
  31. text-align: right;
  32. /* border : solid 1px #0dd; */
  33. padding-right: 2em;
  34. }
  35. .up {
  36. /* border : solid 1px #ff0; */
  37. width : 10em;
  38. /* background-color: #bbb; */
  39. margin: 0px auto;
  40. }
  41. li.preface {
  42. margin-left: 2.5em;
  43. }
  44. div.book div.titlepage h1.title {
  45. font-weight: bold;
  46. font-size: xx-large;
  47. text-align: center;
  48. }
  49. div.book div.titlepage h2.subtitle {
  50. font-weight: bold;
  51. font-size: x-large;
  52. text-align: center;
  53. }
  54. div.book div.titlepage h3.author {
  55. font-size: large;
  56. }
  57. div.book div.dedication div.titlepage h2.title {
  58. font-weight: normal;
  59. font-size: x-large;
  60. }
  61. div.chapter div.titlepage h2.title {
  62. font-weight: bold;
  63. font-size: x-large;
  64. text-align: left;
  65. }
  66. div.sect1 div.titlepage h2.title {
  67. font-weight: bold;
  68. font-size: x-large;
  69. text-align: left;
  70. }
  71. tt {
  72. font-family: courier, monospace;
  73. }
  74. pre.screen {
  75. color: black;
  76. background-color: #dddddd;
  77. }
  78. pre.synopsis {
  79. color: black;
  80. background-color: #dddddd;
  81. }
  82. div.admonition {
  83. border: medium solid;
  84. width: 90%;
  85. margin: .5em auto;
  86. }
  87. div.admonhead h3 {
  88. display: inline;
  89. margin-left: 1.5em;
  90. }
  91. div.admonbody {
  92. margin: .5em;
  93. }
  94. .command {
  95. font-family: courier, monospace;
  96. }
  97. .item {
  98. width: 15em;
  99. float: left;
  100. }
  101. .secitem {
  102. font-weight: normal;
  103. width: 12.5em;
  104. float: left;
  105. }