m2html.css 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293
  1. body {
  2. background: white;
  3. color: black;
  4. font-family: arial,sans-serif;
  5. margin: 0;
  6. padding: 1ex;
  7. }
  8. div.fragment {
  9. width: 98%;
  10. border: 1px solid #CCCCCC;
  11. background-color: #f5f5f5;
  12. padding-left: 4px;
  13. margin: 4px;
  14. }
  15. div.box {
  16. width: 98%;
  17. background-color: #f5f5f5;
  18. border: 1px solid #CCCCCC;
  19. color: black;
  20. padding: 4px;
  21. }
  22. .comment {
  23. color: #228B22;
  24. }
  25. .string {
  26. color: #B20000;
  27. }
  28. .keyword {
  29. color: #0000CC;
  30. }
  31. .keywordtype { color: #604020; }
  32. .keywordflow { color: #e08000; }
  33. .preprocessor { color: #806020; }
  34. .stringliteral { color: #002080; }
  35. .charliteral { color: #008080; }
  36. a {
  37. text-decoration: none;
  38. color: #999999;
  39. }
  40. a:hover {
  41. background-color: #99CCCC;
  42. color:#FFFFFF;
  43. }
  44. a.code {
  45. font-weight: normal;
  46. color: #A020F0;
  47. }
  48. a.code:hover {
  49. background-color: #FF0000;
  50. color: #FFFFFF;
  51. }
  52. h1 {
  53. background: transparent;
  54. color: #666666;
  55. font-size: large;
  56. text-align: left;
  57. }
  58. h2 {
  59. background: transparent;
  60. color: #006699;
  61. font-size: medium;
  62. text-align: left;
  63. }
  64. address {
  65. font-size:small;
  66. }
  67. form.search {
  68. margin-bottom: 0px;
  69. margin-top: 0px;
  70. }
  71. input.search {
  72. font-size: 75%;
  73. color: #000080;
  74. font-weight: normal;
  75. background-color: #eeeeff;
  76. }
  77. li {
  78. padding-left:5px;
  79. color: #333333;
  80. }