1  pre code.hljs {
  2    display: block;
  3    overflow-x: auto;
  4    padding: 1em
  5  }
  6  code.hljs {
  7    padding: 3px 5px
  8  }
  9  /*!
 10    Theme: Default
 11    Description: Original highlight.js style
 12    Author: (c) Ivan Sagalaev <maniac@softwaremaniacs.org>
 13    Maintainer: @highlightjs/core-team
 14    Website: https://highlightjs.org/
 15    License: see project LICENSE
 16    Touched: 2021
 17  */
 18  /*
 19  This is left on purpose making default.css the single file that can be lifted
 20  as-is from the repository directly without the need for a build step
 21  
 22  Typically this "required" baseline CSS is added by `makestuff.js` during build.
 23  */
 24  pre code.hljs {
 25    display: block;
 26    overflow-x: auto;
 27    padding: 1em
 28  }
 29  code.hljs {
 30    padding: 3px 5px
 31  }
 32  /* end baseline CSS */
 33  .hljs {
 34    background: #F3F3F3;
 35    color: #444
 36  }
 37  /* Base color: saturation 0; */
 38  .hljs-subst {
 39    /* default */
 40    
 41  }
 42  /* purposely ignored */
 43  .hljs-formula,
 44  .hljs-attr,
 45  .hljs-property,
 46  .hljs-params {
 47    
 48  }
 49  .hljs-comment {
 50    color: #697070
 51  }
 52  .hljs-tag,
 53  .hljs-punctuation {
 54    color: #444a
 55  }
 56  .hljs-tag .hljs-name,
 57  .hljs-tag .hljs-attr {
 58    color: #444
 59  }
 60  .hljs-keyword,
 61  .hljs-attribute,
 62  .hljs-selector-tag,
 63  .hljs-meta .hljs-keyword,
 64  .hljs-doctag,
 65  .hljs-name {
 66    font-weight: bold
 67  }
 68  /* User color: hue: 0 */
 69  .hljs-type,
 70  .hljs-string,
 71  .hljs-number,
 72  .hljs-selector-id,
 73  .hljs-selector-class,
 74  .hljs-quote,
 75  .hljs-template-tag,
 76  .hljs-deletion {
 77    color: #880000
 78  }
 79  .hljs-title,
 80  .hljs-section {
 81    color: #880000;
 82    font-weight: bold
 83  }
 84  .hljs-regexp,
 85  .hljs-symbol,
 86  .hljs-variable,
 87  .hljs-template-variable,
 88  .hljs-link,
 89  .hljs-selector-attr,
 90  .hljs-operator,
 91  .hljs-selector-pseudo {
 92    color: #ab5656
 93  }
 94  /* Language color: hue: 90; */
 95  .hljs-literal {
 96    color: #695
 97  }
 98  .hljs-built_in,
 99  .hljs-bullet,
100  .hljs-code,
101  .hljs-addition {
102    color: #397300
103  }
104  /* Meta color: hue: 200 */
105  .hljs-meta {
106    color: #1f7199
107  }
108  .hljs-meta .hljs-string {
109    color: #38a
110  }
111  /* Misc effects */
112  .hljs-emphasis {
113    font-style: italic
114  }
115  .hljs-strong {
116    font-weight: bold
117  }