docs/assets/highlight.css

   1 :root {
   2     --light-hl-0: #000000;
   3     --dark-hl-0: #D4D4D4;
   4     --light-hl-1: #098658;
   5     --dark-hl-1: #B5CEA8;
   6     --light-hl-2: #795E26;
   7     --dark-hl-2: #DCDCAA;
   8     --light-hl-3: #001080;
   9     --dark-hl-3: #9CDCFE;
  10     --light-hl-4: #0000FF;
  11     --dark-hl-4: #569CD6;
  12     --light-hl-5: #AF00DB;
  13     --dark-hl-5: #C586C0;
  14     --light-hl-6: #A31515;
  15     --dark-hl-6: #CE9178;
  16     --light-hl-7: #0070C1;
  17     --dark-hl-7: #4FC1FF;
  18     --light-hl-8: #008000;
  19     --dark-hl-8: #6A9955;
  20     --light-hl-9: #267F99;
  21     --dark-hl-9: #4EC9B0;
  22     --light-hl-10: #000000;
  23     --dark-hl-10: #C8C8C8;
  24     --light-code-background: #FFFFFF;
  25     --dark-code-background: #1E1E1E;
  26 }
  27
  28 @media (prefers-color-scheme: light) { :root {
  29     --hl-0: var(--light-hl-0);
  30     --hl-1: var(--light-hl-1);
  31     --hl-2: var(--light-hl-2);
  32     --hl-3: var(--light-hl-3);
  33     --hl-4: var(--light-hl-4);
  34     --hl-5: var(--light-hl-5);
  35     --hl-6: var(--light-hl-6);
  36     --hl-7: var(--light-hl-7);
  37     --hl-8: var(--light-hl-8);
  38     --hl-9: var(--light-hl-9);
  39     --hl-10: var(--light-hl-10);
  40     --code-background: var(--light-code-background);
  41 } }
  42
  43 @media (prefers-color-scheme: dark) { :root {
  44     --hl-0: var(--dark-hl-0);
  45     --hl-1: var(--dark-hl-1);
  46     --hl-2: var(--dark-hl-2);
  47     --hl-3: var(--dark-hl-3);
  48     --hl-4: var(--dark-hl-4);
  49     --hl-5: var(--dark-hl-5);
  50     --hl-6: var(--dark-hl-6);
  51     --hl-7: var(--dark-hl-7);
  52     --hl-8: var(--dark-hl-8);
  53     --hl-9: var(--dark-hl-9);
  54     --hl-10: var(--dark-hl-10);
  55     --code-background: var(--dark-code-background);
  56 } }
  57
  58 :root[data-theme='light'] {
  59     --hl-0: var(--light-hl-0);
  60     --hl-1: var(--light-hl-1);
  61     --hl-2: var(--light-hl-2);
  62     --hl-3: var(--light-hl-3);
  63     --hl-4: var(--light-hl-4);
  64     --hl-5: var(--light-hl-5);
  65     --hl-6: var(--light-hl-6);
  66     --hl-7: var(--light-hl-7);
  67     --hl-8: var(--light-hl-8);
  68     --hl-9: var(--light-hl-9);
  69     --hl-10: var(--light-hl-10);
  70     --code-background: var(--light-code-background);
  71 }
  72
  73 :root[data-theme='dark'] {
  74     --hl-0: var(--dark-hl-0);
  75     --hl-1: var(--dark-hl-1);
  76     --hl-2: var(--dark-hl-2);
  77     --hl-3: var(--dark-hl-3);
  78     --hl-4: var(--dark-hl-4);
  79     --hl-5: var(--dark-hl-5);
  80     --hl-6: var(--dark-hl-6);
  81     --hl-7: var(--dark-hl-7);
  82     --hl-8: var(--dark-hl-8);
  83     --hl-9: var(--dark-hl-9);
  84     --hl-10: var(--dark-hl-10);
  85     --code-background: var(--dark-code-background);
  86 }
  87
  88 .hl-0 { color: var(--hl-0); }
  89 .hl-1 { color: var(--hl-1); }
  90 .hl-2 { color: var(--hl-2); }
  91 .hl-3 { color: var(--hl-3); }
  92 .hl-4 { color: var(--hl-4); }
  93 .hl-5 { color: var(--hl-5); }
  94 .hl-6 { color: var(--hl-6); }
  95 .hl-7 { color: var(--hl-7); }
  96 .hl-8 { color: var(--hl-8); }
  97 .hl-9 { color: var(--hl-9); }
  98 .hl-10 { color: var(--hl-10); }
  99 pre, code { background: var(--code-background); }