lua.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161
  1. html {
  2. background-color: #F8F8F8 ;
  3. }
  4. body {
  5. background-color: #FFFFFF ;
  6. color: #000000 ;
  7. font-family: Helvetica, Arial, sans-serif ;
  8. text-align: justify ;
  9. line-height: 1.25 ;
  10. margin: 16px auto ;
  11. padding: 32px ;
  12. border: solid #ccc 1px ;
  13. border-radius: 20px ;
  14. max-width: 70em ;
  15. width: 90% ;
  16. }
  17. h1, h2, h3, h4 {
  18. color: #000080 ;
  19. font-family: Verdana, Geneva, sans-serif ;
  20. font-weight: normal ;
  21. font-style: normal ;
  22. text-align: left ;
  23. }
  24. h1 {
  25. font-size: 28pt ;
  26. }
  27. h1 img {
  28. vertical-align: text-bottom ;
  29. }
  30. h2:before {
  31. content: "\2756" ;
  32. padding-right: 0.5em ;
  33. }
  34. a {
  35. text-decoration: none ;
  36. }
  37. a:link {
  38. color: #000080 ;
  39. }
  40. a:link:hover, a:visited:hover {
  41. background-color: #D0D0FF ;
  42. color: #000080 ;
  43. border-radius: 4px ;
  44. }
  45. a:link:active, a:visited:active {
  46. color: #FF0000 ;
  47. }
  48. div.menubar {
  49. padding-bottom: 0.5em ;
  50. }
  51. p.menubar {
  52. margin-left: 2.5em ;
  53. }
  54. .menubar a:hover {
  55. margin: -3px -3px -3px -3px ;
  56. padding: 3px 3px 3px 3px ;
  57. border-radius: 4px ;
  58. }
  59. :target {
  60. background-color: #F0F0F0 ;
  61. margin: -8px ;
  62. padding: 8px ;
  63. border-radius: 8px ;
  64. outline: none ;
  65. }
  66. hr {
  67. display: none ;
  68. }
  69. table hr {
  70. background-color: #a0a0a0 ;
  71. color: #a0a0a0 ;
  72. border: 0 ;
  73. height: 1px ;
  74. display: block ;
  75. }
  76. .footer {
  77. color: gray ;
  78. font-size: x-small ;
  79. text-transform: lowercase ;
  80. }
  81. input[type=text] {
  82. border: solid #a0a0a0 2px ;
  83. border-radius: 2em ;
  84. background-image: url('images/search.png') ;
  85. background-repeat: no-repeat ;
  86. background-position: 4px center ;
  87. padding-left: 20px ;
  88. height: 2em ;
  89. }
  90. pre.session {
  91. background-color: #F8F8F8 ;
  92. padding: 1em ;
  93. border-radius: 8px ;
  94. }
  95. table {
  96. border: none ;
  97. border-spacing: 0 ;
  98. border-collapse: collapse ;
  99. }
  100. td {
  101. padding: 0 ;
  102. margin: 0 ;
  103. }
  104. td.gutter {
  105. width: 4% ;
  106. }
  107. table.columns td {
  108. vertical-align: top ;
  109. padding-bottom: 1em ;
  110. text-align: justify ;
  111. line-height: 1.25 ;
  112. }
  113. table.book td {
  114. vertical-align: top ;
  115. }
  116. table.book td.cover {
  117. padding-right: 1em ;
  118. }
  119. table.book img {
  120. border: solid #000080 1px ;
  121. }
  122. table.book span {
  123. font-size: small ;
  124. text-align: left ;
  125. display: block ;
  126. margin-top: 0.25em ;
  127. }
  128. p.logos a:link:hover, p.logos a:visited:hover {
  129. background-color: inherit ;
  130. }
  131. img {
  132. background-color: white ;
  133. }