algol.css 5.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143
  1. /* Background */ .highlight-bg { background-color: #ffffff }
  2. /* PreWrapper */ .highlight-chroma { background-color: #ffffff; }
  3. /* Error */ .highlight-chroma .highlight-err { }
  4. /* LineTableTD */ .highlight-chroma .highlight-lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
  5. /* LineTable */ .highlight-chroma .highlight-lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; }
  6. /* LineHighlight */ .highlight-chroma .highlight-hl { background-color: #e5e5e5 }
  7. /* LineNumbersTable */ .highlight-chroma .highlight-lnt { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
  8. /* LineNumbers */ .highlight-chroma .highlight-ln { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
  9. /* Line */ .highlight-chroma .highlight-line { display: flex; }
  10. /* Keyword */ .highlight-chroma .highlight-k { font-weight: bold; text-decoration: underline }
  11. /* KeywordConstant */ .highlight-chroma .highlight-kc { font-weight: bold; text-decoration: underline }
  12. /* KeywordDeclaration */ .highlight-chroma .highlight-kd { font-weight: bold; font-style: italic; text-decoration: underline }
  13. /* KeywordNamespace */ .highlight-chroma .highlight-kn { font-weight: bold; text-decoration: underline }
  14. /* KeywordPseudo */ .highlight-chroma .highlight-kp { font-weight: bold; text-decoration: underline }
  15. /* KeywordReserved */ .highlight-chroma .highlight-kr { font-weight: bold; text-decoration: underline }
  16. /* KeywordType */ .highlight-chroma .highlight-kt { font-weight: bold; text-decoration: underline }
  17. /* NameBuiltin */ .highlight-chroma .highlight-nb { font-weight: bold; font-style: italic }
  18. /* NameBuiltinPseudo */ .highlight-chroma .highlight-bp { font-weight: bold; font-style: italic }
  19. /* NameClass */ .highlight-chroma .highlight-nc { color: #666666; font-weight: bold; font-style: italic }
  20. /* NameConstant */ .highlight-chroma .highlight-no { color: #666666; font-weight: bold; font-style: italic }
  21. /* NameFunction */ .highlight-chroma .highlight-nf { color: #666666; font-weight: bold; font-style: italic }
  22. /* NameNamespace */ .highlight-chroma .highlight-nn { color: #666666; font-weight: bold; font-style: italic }
  23. /* NameVariable */ .highlight-chroma .highlight-nv { color: #666666; font-weight: bold; font-style: italic }
  24. /* LiteralString */ .highlight-chroma .highlight-s { color: #666666; font-style: italic }
  25. /* LiteralStringAffix */ .highlight-chroma .highlight-sa { color: #666666; font-style: italic }
  26. /* LiteralStringBacktick */ .highlight-chroma .highlight-sb { color: #666666; font-style: italic }
  27. /* LiteralStringChar */ .highlight-chroma .highlight-sc { color: #666666; font-style: italic }
  28. /* LiteralStringDelimiter */ .highlight-chroma .highlight-dl { color: #666666; font-style: italic }
  29. /* LiteralStringDoc */ .highlight-chroma .highlight-sd { color: #666666; font-style: italic }
  30. /* LiteralStringDouble */ .highlight-chroma .highlight-s2 { color: #666666; font-style: italic }
  31. /* LiteralStringEscape */ .highlight-chroma .highlight-se { color: #666666; font-style: italic }
  32. /* LiteralStringHeredoc */ .highlight-chroma .highlight-sh { color: #666666; font-style: italic }
  33. /* LiteralStringInterpol */ .highlight-chroma .highlight-si { color: #666666; font-style: italic }
  34. /* LiteralStringOther */ .highlight-chroma .highlight-sx { color: #666666; font-style: italic }
  35. /* LiteralStringRegex */ .highlight-chroma .highlight-sr { color: #666666; font-style: italic }
  36. /* LiteralStringSingle */ .highlight-chroma .highlight-s1 { color: #666666; font-style: italic }
  37. /* LiteralStringSymbol */ .highlight-chroma .highlight-ss { color: #666666; font-style: italic }
  38. /* OperatorWord */ .highlight-chroma .highlight-ow { font-weight: bold }
  39. /* Comment */ .highlight-chroma .highlight-c { color: #888888; font-style: italic }
  40. /* CommentHashbang */ .highlight-chroma .highlight-ch { color: #888888; font-style: italic }
  41. /* CommentMultiline */ .highlight-chroma .highlight-cm { color: #888888; font-style: italic }
  42. /* CommentSingle */ .highlight-chroma .highlight-c1 { color: #888888; font-style: italic }
  43. /* CommentSpecial */ .highlight-chroma .highlight-cs { color: #888888; font-weight: bold }
  44. /* CommentPreproc */ .highlight-chroma .highlight-cp { color: #888888; font-weight: bold }
  45. /* CommentPreprocFile */ .highlight-chroma .highlight-cpf { color: #888888; font-weight: bold }
  46. /*
  47. Docco style used in http://jashkenas.github.com/docco/ converted by Simon Madine (@thingsinjars)
  48. */
  49. .hljs {
  50. display: block;
  51. overflow-x: auto;
  52. padding: 0.5em;
  53. color: #000;
  54. background: #f8f8ff;
  55. }
  56. .hljs-comment,
  57. .hljs-quote {
  58. color: #408080;
  59. font-style: italic;
  60. }
  61. .hljs-keyword,
  62. .hljs-selector-tag,
  63. .hljs-literal,
  64. .hljs-subst {
  65. color: #954121;
  66. }
  67. .hljs-number {
  68. color: #40a070;
  69. }
  70. .hljs-string,
  71. .hljs-doctag {
  72. color: #219161;
  73. }
  74. .hljs-selector-id,
  75. .hljs-selector-class,
  76. .hljs-section,
  77. .hljs-type {
  78. color: #19469d;
  79. }
  80. .hljs-params {
  81. color: #00f;
  82. }
  83. .hljs-title {
  84. color: #458;
  85. font-weight: bold;
  86. }
  87. .hljs-tag,
  88. .hljs-name,
  89. .hljs-attribute {
  90. color: #000080;
  91. font-weight: normal;
  92. }
  93. .hljs-variable,
  94. .hljs-template-variable {
  95. color: #008080;
  96. }
  97. .hljs-regexp,
  98. .hljs-link {
  99. color: #b68;
  100. }
  101. .hljs-symbol,
  102. .hljs-bullet {
  103. color: #990073;
  104. }
  105. .hljs-built_in,
  106. .hljs-builtin-name {
  107. color: #0086b3;
  108. }
  109. .hljs-meta {
  110. color: #999;
  111. font-weight: bold;
  112. }
  113. .hljs-deletion {
  114. background: #fdd;
  115. }
  116. .hljs-addition {
  117. background: #dfd;
  118. }
  119. .hljs-emphasis {
  120. font-style: italic;
  121. }
  122. .hljs-strong {
  123. font-weight: bold;
  124. }