2012-06-03 01:27:42 -04:00
|
|
|
$solarized: light !default;
|
2012-05-25 13:52:50 -04:00
|
|
|
$pre-bg: default !default;
|
|
|
|
|
2011-07-26 12:13:57 -04:00
|
|
|
$base03: #002b36 !default; //darkest blue
|
|
|
|
$base02: #073642 !default; //dark blue
|
|
|
|
$base01: #586e75 !default; //darkest gray
|
|
|
|
$base00: #657b83 !default; //dark gray
|
|
|
|
$base0: #839496 !default; //medium gray
|
|
|
|
$base1: #93a1a1 !default; //medium light gray
|
2012-05-25 13:52:50 -04:00
|
|
|
$base2: default !default;
|
|
|
|
$base3: default !default;
|
|
|
|
@if $solarized == dark {
|
|
|
|
@if $base2 == default { $base2: #eee8d5; } // cream
|
|
|
|
@if $base3 == default { $base3: #fdf6e3; } // cream white
|
|
|
|
}
|
|
|
|
@if $solarized == light {
|
|
|
|
// I prefer white and gray for the light theme
|
|
|
|
@if $base2 == default { $base2: #e5e5e5; } // light gray
|
|
|
|
@if $base3 == default { $base3: #fbfbfb; } // white
|
|
|
|
}
|
2011-07-26 12:13:57 -04:00
|
|
|
$solar-yellow: #b58900 !default;
|
|
|
|
$solar-orange: #cb4b16 !default;
|
|
|
|
$solar-red: #dc322f !default;
|
|
|
|
$solar-magenta: #d33682 !default;
|
|
|
|
$solar-violet: #6c71c4 !default;
|
|
|
|
$solar-blue: #268bd2 !default;
|
|
|
|
$solar-cyan: #2aa198 !default;
|
|
|
|
$solar-green: #859900 !default;
|
2011-07-19 22:28:48 -04:00
|
|
|
|
2011-07-26 12:13:57 -04:00
|
|
|
@if $solarized == light {
|
2012-05-25 13:52:50 -04:00
|
|
|
// Flipping the colors, This is the magic of Solarized.
|
2012-01-08 20:56:48 -05:00
|
|
|
$_base03: $base03;
|
|
|
|
$_base02: $base02;
|
|
|
|
$_base01: $base01;
|
|
|
|
$_base00: $base00;
|
|
|
|
$_base0: $base0;
|
|
|
|
$_base1: $base1;
|
|
|
|
$_base2: $base2;
|
|
|
|
$_base3: $base3;
|
|
|
|
|
|
|
|
$base03: $_base3;
|
|
|
|
$base02: $_base2;
|
|
|
|
$base01: $_base1;
|
|
|
|
$base00: $_base0;
|
|
|
|
$base0: $_base00;
|
|
|
|
$base1: $_base01;
|
|
|
|
$base2: $_base02;
|
|
|
|
$base3: $_base03;
|
2011-07-26 12:13:57 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
/* non highlighted code colors */
|
2012-05-25 13:52:50 -04:00
|
|
|
@if $pre-bg == default {
|
|
|
|
$pre-bg: $base03;
|
|
|
|
} @else if $pre-bg != $base03 {
|
|
|
|
$base03: $pre-bg;
|
|
|
|
$base02: lighten($base03, 5);
|
|
|
|
}
|
|
|
|
|
2012-01-08 20:56:48 -05:00
|
|
|
$pre-border: darken($base02, 5) !default;
|
2011-07-26 12:13:57 -04:00
|
|
|
$pre-color: $base1 !default;
|
2012-01-08 20:56:48 -05:00
|
|
|
|
2012-05-25 13:52:50 -04:00
|
|
|
@if $pre-border != darken($base02, 5) {
|
|
|
|
$base02: lighten($pre-border, 5);
|
|
|
|
}
|
|
|
|
@if $pre-color != $base1 {
|
|
|
|
$base1: $pre-color;
|
|
|
|
}
|
2012-01-08 20:56:48 -05:00
|
|
|
|
2012-06-03 01:27:42 -04:00
|
|
|
$marker: rgba(#00baff, .5) !default;
|
|
|
|
$marker-bg: rgba($marker, .03) !default;
|
|
|
|
$marker-border: rgba($marker, .13) !default;
|
|
|
|
$marker-border-left: $marker !default;
|
|
|
|
|
2012-05-25 13:52:50 -04:00
|
|
|
$code-selection-color: false !default;
|