pygments.css 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445
  1. .highlight .c { color: #008800; font-style: italic }
  2. .highlight .err { color: #a61717; background-color: #e3d2d2 }
  3. .highlight .k { color: #000080; font-weight: bold }
  4. .highlight .cm { color: #008800; font-style: italic }
  5. .highlight .cp { color: #008080 }
  6. .highlight .c1 { color: #008800; font-style: italic }
  7. .highlight .cs { color: #008800; font-weight: bold }
  8. .highlight .gd { color: #000000; background-color: #ffdddd }
  9. .highlight .ge { font-style: italic }
  10. .highlight .gr { color: #aa0000 }
  11. .highlight .gh { color: #999999 }
  12. .highlight .gi { color: #000000; background-color: #ddffdd }
  13. .highlight .go { color: #888888 }
  14. .highlight .gp { color: #555555 }
  15. .highlight .gs { font-weight: bold }
  16. .highlight .gu { color: #aaaaaa }
  17. .highlight .gt { color: #aa0000 }
  18. .highlight .kc { color: #000080; font-weight: bold }
  19. .highlight .kd { color: #000080; font-weight: bold }
  20. .highlight .kn { color: #000080; font-weight: bold }
  21. .highlight .kp { color: #000080; font-weight: bold }
  22. .highlight .kr { color: #000080; font-weight: bold }
  23. .highlight .kt { color: #000080; font-weight: bold }
  24. .highlight .m { color: #0000ff }
  25. .highlight .s { color: #0000ff }
  26. .highlight .na { color: #ff0000 }
  27. .highlight .nt { color: #000080; font-weight: bold }
  28. .highlight .ow { font-weight: bold }
  29. .highlight .w { color: #bbbbbb }
  30. .highlight .mf { color: #0000ff }
  31. .highlight .mh { color: #0000ff }
  32. .highlight .mi { color: #0000ff }
  33. .highlight .mo { color: #0000ff }
  34. .highlight .sb { color: #0000ff }
  35. .highlight .sc { color: #800080 }
  36. .highlight .sd { color: #0000ff }
  37. .highlight .s2 { color: #0000ff }
  38. .highlight .se { color: #0000ff }
  39. .highlight .sh { color: #0000ff }
  40. .highlight .si { color: #0000ff }
  41. .highlight .sx { color: #0000ff }
  42. .highlight .sr { color: #0000ff }
  43. .highlight .s1 { color: #0000ff }
  44. .highlight .ss { color: #0000ff }
  45. .highlight .il { color: #0000ff }