lua.css 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
  1. html {
  2. background-color: #F8F8F8 ;
  3. }
  4. body {
  5. border: solid #a0a0a0 1px ;
  6. border-radius: 20px ;
  7. padding: 26px ;
  8. margin: 16px ;
  9. color: #000000 ;
  10. background-color: #FFFFFF ;
  11. font-family: Helvetica, Arial, sans-serif ;
  12. text-align: justify ;
  13. line-height: 1.25 ;
  14. }
  15. h1, h2, h3, h4 {
  16. font-family: Verdana, Geneva, sans-serif ;
  17. font-weight: normal ;
  18. font-style: normal ;
  19. }
  20. h2 {
  21. padding-top: 0.4em ;
  22. padding-bottom: 0.4em ;
  23. padding-left: 0.8em ;
  24. padding-right: 0.8em ;
  25. background-color: #D0D0FF ;
  26. border-radius: 8px ;
  27. border: solid #a0a0a0 1px ;
  28. }
  29. h3 {
  30. padding-left: 0.5em ;
  31. border-left: solid #D0D0FF 1em ;
  32. }
  33. table h3 {
  34. padding-left: 0px ;
  35. border-left: none ;
  36. }
  37. a:link {
  38. color: #000080 ;
  39. background-color: inherit ;
  40. text-decoration: none ;
  41. }
  42. a:visited {
  43. background-color: inherit ;
  44. text-decoration: none ;
  45. }
  46. a:link:hover, a:visited:hover {
  47. color: #000080 ;
  48. background-color: #D0D0FF ;
  49. border-radius: 4px ;
  50. }
  51. a:link:active, a:visited:active {
  52. color: #FF0000 ;
  53. }
  54. h1 a img {
  55. vertical-align: text-bottom ;
  56. }
  57. hr {
  58. border: 0 ;
  59. height: 1px ;
  60. color: #a0a0a0 ;
  61. background-color: #a0a0a0 ;
  62. display: none ;
  63. }
  64. table hr {
  65. display: block ;
  66. }
  67. :target {
  68. background-color: #F8F8F8 ;
  69. padding: 8px ;
  70. border: solid #a0a0a0 2px ;
  71. border-radius: 8px ;
  72. }
  73. .footer {
  74. color: gray ;
  75. font-size: x-small ;
  76. }
  77. input[type=text] {
  78. border: solid #a0a0a0 2px ;
  79. border-radius: 2em ;
  80. background-image: url('images/search.png') ;
  81. background-repeat: no-repeat ;
  82. background-position: 4px center ;
  83. padding-left: 20px ;
  84. height: 2em ;
  85. }
  86. pre.session {
  87. background-color: #F8F8F8 ;
  88. padding: 1em ;
  89. border-radius: 8px ;
  90. }