effbot.css 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118
  1. /* effbot.css */
  2. BODY {
  3. font: 100% Georgia, Times, serif;
  4. color: black;
  5. margin: 0px 20px 0px 20px;
  6. }
  7. #effbot-body {
  8. background: white;
  9. padding: 10px 40px 10px 40px;
  10. max-width: 50em;
  11. }
  12. #effbot-menu {
  13. display: none;
  14. }
  15. .adsense {
  16. background: #f8fff8;
  17. border: 1px solid #084;
  18. padding: 10px 4px 4px 4px;
  19. }
  20. .sidebar {
  21. border: 1px solid #000;
  22. float: right; clear: right;
  23. width: 200px;
  24. background: white;
  25. padding: 10px;
  26. margin: 0px -25px 10px 0px;
  27. }
  28. /* visual style */
  29. P {
  30. line-height: 1.3em;
  31. }
  32. CODE, PRE {
  33. font: 100% "Courier New", Courier, Monaco, monospace;
  34. color: #042; margin-left: 20px;
  35. }
  36. H1, H2, H3 {
  37. font-family: Georgia, Times, serif;
  38. color: #084; margin-top: 30px;
  39. }
  40. H1, H2, { border-top: 1px solid #084; }
  41. H4, H5, H6 {
  42. font-family: Georgia, Times, serif;
  43. color: #084; margin-top: 15px;
  44. }
  45. A:link, A:hover { color: #084; }
  46. A:visited { color: #404040; }
  47. UL LI { list-style-type: square; }
  48. .title { margin-bottom: 2px; color: #084; }
  49. .info { font-size: 80%; color: #084; margin-top: 0px; }
  50. .bluebox { color: #084; margin-top: 10px; }
  51. .highlight { background: #cfc; }
  52. .mark { color: #084; }
  53. .small { font-size: 80%; }
  54. .display { background: #eee; padding: 20px; }
  55. .note {
  56. background: #efe;
  57. border-top: 1px solid #084;
  58. border-bottom: 1px solid #084;
  59. padding: 2px 20px;
  60. }
  61. .example {
  62. border-top: medium solid #084;
  63. border-bottom: medium solid #084;
  64. padding: 5px;
  65. }
  66. .figure {
  67. border-top: medium solid #084;
  68. border-bottom: medium solid #084;
  69. padding: 5px;
  70. }
  71. .fixme {
  72. background: #eee;
  73. border: 1px solid #084;
  74. padding: 2x 20px;
  75. }
  76. .simpletable {
  77. border: 1px solid #084;
  78. border-collapse: collapse;
  79. }
  80. .simpletable TH {
  81. text-align: left;
  82. background: #cfc;
  83. border: 1px solid #084;
  84. margin: 0px;
  85. padding: 1px 5px;
  86. }
  87. .simpletable TD {
  88. border: 1px solid #084;
  89. margin: 0px;
  90. padding: 5px;
  91. }
  92. /* xmldiff markup */
  93. .new { text-decoration: underline; color: red; background: #fff0f0; }
  94. .old { text-decoration: line-through; color: blue; background: #f0f0ff; }