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