github.css 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135
  1. .prettyprint {
  2. background: white; padding: 10px; border: 1px solid rgb(204, 204, 204); border-image: none; line-height: 1.5; font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace; font-size: 12px;
  3. }
  4. .pln {
  5. color: rgb(51, 51, 51);
  6. }
  7. @media screen
  8. {
  9. .str {
  10. color: rgb(221, 17, 68);
  11. }
  12. .kwd {
  13. color: rgb(51, 51, 51);
  14. }
  15. .com {
  16. color: rgb(153, 153, 136);
  17. }
  18. .typ {
  19. color: rgb(68, 85, 136);
  20. }
  21. .lit {
  22. color: rgb(68, 85, 136);
  23. }
  24. .pun {
  25. color: rgb(51, 51, 51);
  26. }
  27. .opn {
  28. color: rgb(51, 51, 51);
  29. }
  30. .clo {
  31. color: rgb(51, 51, 51);
  32. }
  33. .tag {
  34. color: navy;
  35. }
  36. .atn {
  37. color: teal;
  38. }
  39. .atv {
  40. color: rgb(221, 17, 68);
  41. }
  42. .dec {
  43. color: rgb(51, 51, 51);
  44. }
  45. .var {
  46. color: teal;
  47. }
  48. .fun {
  49. color: rgb(153, 0, 0);
  50. }
  51. }
  52. @media print, projection
  53. {
  54. .str {
  55. color: rgb(0, 102, 0);
  56. }
  57. .kwd {
  58. color: rgb(0, 0, 102); font-weight: bold;
  59. }
  60. .com {
  61. color: rgb(102, 0, 0); font-style: italic;
  62. }
  63. .typ {
  64. color: rgb(68, 0, 68); font-weight: bold;
  65. }
  66. .lit {
  67. color: rgb(0, 68, 68);
  68. }
  69. .pun {
  70. color: rgb(68, 68, 0);
  71. }
  72. .opn {
  73. color: rgb(68, 68, 0);
  74. }
  75. .clo {
  76. color: rgb(68, 68, 0);
  77. }
  78. .tag {
  79. color: rgb(0, 0, 102); font-weight: bold;
  80. }
  81. .atn {
  82. color: rgb(68, 0, 68);
  83. }
  84. .atv {
  85. color: rgb(0, 102, 0);
  86. }
  87. }
  88. ol.linenums {
  89. margin-top: 0px; margin-bottom: 0px;
  90. }
  91. li.L0 {
  92. }
  93. li.L1 {
  94. }
  95. li.L2 {
  96. }
  97. li.L3 {
  98. }
  99. li.L4 {
  100. }
  101. li.L5 {
  102. }
  103. li.L6 {
  104. }
  105. li.L7 {
  106. }
  107. li.L8 {
  108. }
  109. li.L9 {
  110. }
  111. li.L1 {
  112. }
  113. li.L3 {
  114. }
  115. li.L5 {
  116. }
  117. li.L7 {
  118. }
  119. li.L9 {
  120. }