prettify.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182
  1. /* GitHub Theme */
  2. /* Pretty printing styles. Used with prettify.js. */
  3. /* SPAN elements with the classes below are added by prettyprint. */
  4. /* plain text */
  5. .pln {
  6. color: #333333;
  7. }
  8. .prettyprint{overflow:auto!important;}
  9. @media screen {
  10. /* string content */
  11. .str {
  12. color: #dd1144;
  13. }
  14. /* a keyword */
  15. .kwd {
  16. color: #333333;
  17. }
  18. /* a comment */
  19. .com {
  20. color: #999988;
  21. }
  22. /* a type name */
  23. .typ {
  24. color: #445588;
  25. }
  26. /* a literal value */
  27. .lit {
  28. color: #445588;
  29. }
  30. /* punctuation */
  31. .pun {
  32. color: #333333;
  33. }
  34. /* lisp open bracket */
  35. .opn {
  36. color: #333333;
  37. }
  38. /* lisp close bracket */
  39. .clo {
  40. color: #333333;
  41. }
  42. /* a markup tag name */
  43. .tag {
  44. color: navy;
  45. }
  46. /* a markup attribute name */
  47. .atn {
  48. color: teal;
  49. }
  50. /* a markup attribute value */
  51. .atv {
  52. color: #dd1144;
  53. }
  54. /* a declaration */
  55. .dec {
  56. color: #333333;
  57. }
  58. /* a variable name */
  59. .var {
  60. color: teal;
  61. }
  62. /* a function name */
  63. .fun {
  64. color: #990000;
  65. }
  66. }
  67. /* Use higher contrast and text-weight for printable form. */
  68. @media print, projection {
  69. .str {
  70. color: #006600;
  71. }
  72. .kwd {
  73. color: #006;
  74. font-weight: bold;
  75. }
  76. .com {
  77. color: #600;
  78. font-style: italic;
  79. }
  80. .typ {
  81. color: #404;
  82. font-weight: bold;
  83. }
  84. .lit {
  85. color: #004444;
  86. }
  87. .pun, .opn, .clo {
  88. color: #444400;
  89. }
  90. .tag {
  91. color: #006;
  92. font-weight: bold;
  93. }
  94. .atn {
  95. color: #440044;
  96. }
  97. .atv {
  98. color: #006600;
  99. }
  100. }
  101. /* Style */
  102. pre.prettyprint {
  103. background: #F0F0F0;
  104. font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace;
  105. font-size: 12px;
  106. line-height: 1.5;
  107. border: 1px solid #cccccc;
  108. padding: 0;
  109. }
  110. /* Specify class=linenums on a pre to get line numbering */
  111. ol.linenums {
  112. margin-top: 0;
  113. margin-bottom: 0;
  114. color: #888;
  115. }
  116. .linenums li {
  117. background: #FAFAFA;
  118. padding-left: 10px;
  119. border-left: 1px solid #CCC;
  120. }
  121. .linenums li {
  122. padding-top: 5px;
  123. }
  124. .linenums li + li {
  125. padding-top: 0;
  126. }
  127. .linenums li:last-child {
  128. padding-bottom: 5px;
  129. }
  130. /* IE indents via margin-left */
  131. li.L0,
  132. li.L1,
  133. li.L2,
  134. li.L3,
  135. li.L4,
  136. li.L5,
  137. li.L6,
  138. li.L7,
  139. li.L8,
  140. li.L9 {
  141. /* */
  142. }
  143. /* Alternate shading for lines */
  144. li.L1,
  145. li.L3,
  146. li.L5,
  147. li.L7,
  148. li.L9 {
  149. /* */
  150. }