prettify.css 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  1. /* Pretty printing styles. Used with prettify.js. */
  2. /* SPAN elements with the classes below are added by prettyprint. */
  3. .pln { color: #000 } /* plain text */
  4. @media screen {
  5. .str { color: #080 } /* string content */
  6. .kwd { color: #008 } /* a keyword */
  7. .com { color: #800 } /* a comment */
  8. .typ { color: #606 } /* a type name */
  9. .lit { color: #066 } /* a literal value */
  10. /* punctuation, lisp open bracket, lisp close bracket */
  11. .pun, .opn, .clo { color: #660 }
  12. .tag { color: #008 } /* a markup tag name */
  13. .atn { color: #606 } /* a markup attribute name */
  14. .atv { color: #080 } /* a markup attribute value */
  15. .dec, .var { color: #606 } /* a declaration; a variable name */
  16. .fun { color: red } /* a function name */
  17. }
  18. /* Use higher contrast and text-weight for printable form. */
  19. @media print, projection {
  20. .str { color: #060 }
  21. .kwd { color: #006; font-weight: bold }
  22. .com { color: #600; font-style: italic }
  23. .typ { color: #404; font-weight: bold }
  24. .lit { color: #044 }
  25. .pun, .opn, .clo { color: #440 }
  26. .tag { color: #006; font-weight: bold }
  27. .atn { color: #404 }
  28. .atv { color: #060 }
  29. }
  30. /* Put a border around prettyprinted code snippets. */
  31. .prettyprint {
  32. padding: 2px;
  33. border: 1px solid #888;
  34. background-color: white;
  35. white-space: pre-wrap;
  36. }
  37. /* Specify class=linenums on a pre to get line numbering */
  38. ol.linenums {
  39. color: black;
  40. margin-top: 0;
  41. margin-bottom: 0;
  42. list-style: decimal outside;
  43. } /* IE indents via margin-left */
  44. /*
  45. li.L0,
  46. li.L1,
  47. li.L2,
  48. li.L3,
  49. li.L5,
  50. li.L6,
  51. li.L7,
  52. li.L8 { list-style-type: none }
  53. */
  54. /* Alternate shading for lines */
  55. li.L1,
  56. li.L3,
  57. li.L5,
  58. li.L7,
  59. li.L9 { background: #eee }