opencliper.lpi.tel.uva.es Git - OpenCLIPER/blob - docs/OpenCLIPER/site/css/highlight.css

   1 /*
   2 This is the GitHub theme for highlight.js
   3
   4 github.com style (c) Vasily Polovnyov <vast@whiteants.net>
   5
   6 */
   7
   8 .hljs {
   9   display: block;
  10   overflow-x: auto;
  11   color: #333;
  12   -webkit-text-size-adjust: none;
  13 }
  14
  15 .hljs-comment,
  16 .diff .hljs-header,
  17 .hljs-javadoc {
  18   color: #998;
  19   font-style: italic;
  20 }
  21
  22 .hljs-keyword,
  23 .css .rule .hljs-keyword,
  24 .hljs-winutils,
  25 .nginx .hljs-title,
  26 .hljs-subst,
  27 .hljs-request,
  28 .hljs-status {
  29   color: #333;
  30   font-weight: bold;
  31 }
  32
  33 .hljs-number,
  34 .hljs-hexcolor,
  35 .ruby .hljs-constant {
  36   color: #008080;
  37 }
  38
  39 .hljs-string,
  40 .hljs-tag .hljs-value,
  41 .hljs-phpdoc,
  42 .hljs-dartdoc,
  43 .tex .hljs-formula {
  44   color: #d14;
  45 }
  46
  47 .hljs-title,
  48 .hljs-id,
  49 .scss .hljs-preprocessor {
  50   color: #900;
  51   font-weight: bold;
  52 }
  53
  54 .hljs-list .hljs-keyword,
  55 .hljs-subst {
  56   font-weight: normal;
  57 }
  58
  59 .hljs-class .hljs-title,
  60 .hljs-type,
  61 .vhdl .hljs-literal,
  62 .tex .hljs-command {
  63   color: #458;
  64   font-weight: bold;
  65 }
  66
  67 .hljs-tag,
  68 .hljs-tag .hljs-title,
  69 .hljs-rule .hljs-property,
  70 .django .hljs-tag .hljs-keyword {
  71   color: #000080;
  72   font-weight: normal;
  73 }
  74
  75 .hljs-attribute,
  76 .hljs-variable,
  77 .lisp .hljs-body,
  78 .hljs-name {
  79   color: #008080;
  80 }
  81
  82 .hljs-regexp {
  83   color: #009926;
  84 }
  85
  86 .hljs-symbol,
  87 .ruby .hljs-symbol .hljs-string,
  88 .lisp .hljs-keyword,
  89 .clojure .hljs-keyword,
  90 .scheme .hljs-keyword,
  91 .tex .hljs-special,
  92 .hljs-prompt {
  93   color: #990073;
  94 }
  95
  96 .hljs-built_in {
  97   color: #0086b3;
  98 }
  99
 100 .hljs-preprocessor,
 101 .hljs-pragma,
 102 .hljs-pi,
 103 .hljs-doctype,
 104 .hljs-shebang,
 105 .hljs-cdata {
 106   color: #999;
 107   font-weight: bold;
 108 }
 109
 110 .hljs-deletion {
 111   background: #fdd;
 112 }
 113
 114 .hljs-addition {
 115   background: #dfd;
 116 }
 117
 118 .diff .hljs-change {
 119   background: #0086b3;
 120 }
 121
 122 .hljs-chunk {
 123   color: #aaa;
 124 }