$code-foreground = lighten($default-text-color, 2%)
$code-background = darken($background-color, 5%)
$highlight-foreground = lighten($default-text-color, 2%)
$highlight-background = darken($background-color, 2%)
$highlight-gutter-color = lighten($default-text-color, 5%)
$highlight-gutter-bg-color = darken($background-color, 5%)
$highlight-comment = #8e908c
$highlight-red = #c82829
$highlight-orange = #f5871f
$highlight-yellow = #eab700
$highlight-green = #718c00
$highlight-aqua = #3e999f
$highlight-blue = #4271ae
$highlight-purple = #8959a8
$highlight-deletion = #fdd
$highlight-addition = #dfd

$night-code-foreground = lighten($dark-default-text-color, 2%)
$night-code-background = darken($dark-background-color, 10%)
$night-highlight-foreground = lighten($dark-default-text-color, 2%)
$night-highlight-background = darken($dark-background-color, 8%)
$night-highlight-gutter-color = lighten($dark-default-text-color, 5%)
$night-highlight-gutter-bg-color = darken($dark-background-color, 10%)
$night-highlight-comment = #969896
$night-highlight-red = #cc6666
$night-highlight-orange = #de935f
$night-highlight-yellow = #f0c674
$night-highlight-green = #b5bd68
$night-highlight-aqua = #8abeb7
$night-highlight-blue = #81a2be
$night-highlight-purple = #b294bb
$night-highlight-deletion = #008000
$night-highlight-addition = #800000

.normal-code-theme {
  --code-foreground: $code-foreground;
  --code-background: $code-background;
  --highlight-background: $highlight-background;
  --highlight-foreground: $highlight-foreground;
  --highlight-comment: $highlight-comment;
  --highlight-red: $highlight-red;
  --highlight-orange: $highlight-orange;
  --highlight-yellow: $highlight-yellow;
  --highlight-green: $highlight-green;
  --highlight-aqua: $highlight-aqua;
  --highlight-blue: $highlight-blue;
  --highlight-purple: $highlight-purple;
  --highlight-gutter-color: $highlight-gutter-color;
  --highlight-gutter-bg-color: $highlight-gutter-bg-color;
}


.night-code-theme {
  --code-foreground: $night-code-foreground;
  --code-background: $night-code-background;
  --highlight-background: $night-highlight-background;
  --highlight-foreground: $night-highlight-foreground;
  --highlight-comment: $night-highlight-comment;
  --highlight-red: $night-highlight-red;
  --highlight-orange: $night-highlight-orange;
  --highlight-yellow: $night-highlight-yellow;
  --highlight-green: $night-highlight-green;
  --highlight-aqua: $night-highlight-aqua;
  --highlight-blue: $night-highlight-blue;
  --highlight-purple: $night-highlight-purple;
  --highlight-gutter-color: $night-highlight-gutter-color;
  --highlight-gutter-bg-color: $night-highlight-gutter-bg-color;
}