style.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141
  1. table
  2. {
  3. border-spacing: 0px;
  4. }
  5. tr.header th
  6. {
  7. border-bottom: 1px solid;
  8. background-color: #ffb;
  9. padding-left: 10px;
  10. padding-right: 20px;
  11. }
  12. tr.d0 td
  13. {
  14. background-color: #EEE;
  15. color: black;
  16. padding-left: 10px;
  17. padding-right: 20px;
  18. min-width: 200px;
  19. }
  20. tr.d1 td
  21. {
  22. background-color: #bcf;
  23. color: black;
  24. padding-left: 10px;
  25. padding-right: 20px;
  26. min-width: 200px;
  27. }
  28. tr.gotcha1 td
  29. {
  30. background-color: #fcb;
  31. color: black;
  32. padding-left: 10px;
  33. padding-right: 20px;
  34. min-width: 200px;
  35. }
  36. tr.gotcha2 td
  37. {
  38. background-color: #fed;
  39. color: black;
  40. padding-left: 10px;
  41. padding-right: 20px;
  42. min-width: 200px;
  43. }
  44. /* Don't color pre tag like a box when it shows up in table */
  45. tr pre
  46. {
  47. background-color: inherit;
  48. overflow: auto;
  49. padding: none;
  50. border: none;
  51. }
  52. .note:before
  53. {
  54. font-style: normal;
  55. content: "Note: ";
  56. }
  57. .note
  58. {
  59. background-color: #ddd;
  60. border: 1px solid #bbb;
  61. margin-top: 2px;
  62. margin-bottom: 2px;
  63. font-style: italic;
  64. padding-left: 4px;
  65. padding-right: 4px;
  66. padding-top: 2px;
  67. padding-bottom: 2px;
  68. }
  69. span.highlight
  70. {
  71. background-color: #4F5;
  72. }
  73. a
  74. {
  75. text-decoration:none;
  76. border:none;
  77. outline:none;
  78. color:#0645AD;
  79. }
  80. a:hover
  81. {
  82. color:#0645AD;
  83. text-decoration: underline;
  84. }
  85. a.missing
  86. {
  87. color:#F32;
  88. }
  89. a:visited
  90. {
  91. color:#0b0080;
  92. }
  93. span.todo:before
  94. {
  95. font-style: normal;
  96. content: "TODO: ";
  97. }
  98. span.todo
  99. {
  100. color: #F54;
  101. font-style: italic;
  102. }
  103. pre
  104. {
  105. background-color: #c3e0f0;
  106. overflow: auto;
  107. padding-left: 8px;
  108. padding-right: 8px;
  109. padding-top: 4px;
  110. padding-bottom: 4px;
  111. border: 1px solid #999;
  112. }
  113. img.center
  114. {
  115. display: block;
  116. margin-left: auto;
  117. margin-right: auto;
  118. }
  119. .article_body
  120. {
  121. margin: 0px;
  122. padding: 0px;
  123. text-align: center;
  124. background-color: #bbb;
  125. }
  126. .article
  127. {
  128. font-size: 14pt;
  129. background-color: #fff;
  130. margin:0px auto;
  131. padding: 20px;
  132. border-left: 1px solid #888;
  133. border-right: 1px solid #888;
  134. width: 960px;
  135. text-align: left;
  136. }