2020-06-10 18:22:52 +02:00
|
|
|
|
// THEME
|
2020-06-11 00:48:43 +02:00
|
|
|
|
$textColor = #2c3e50;
|
2020-06-12 15:18:51 +02:00
|
|
|
|
$accentColor = darken(#e8a024, 10%)
|
2020-06-10 18:22:52 +02:00
|
|
|
|
|
2020-06-12 15:18:51 +02:00
|
|
|
|
// COMMANDS
|
|
|
|
|
|
$cmdColor = #f8fafc;
|
|
|
|
|
|
|
|
|
|
|
|
$cmdBgBlock = #282c34;
|
|
|
|
|
|
$cmdBgInline = darken(#f3f5f7, 4%);
|
|
|
|
|
|
$cmdBgInlineTip = darken(#f3f5f7, 5%);
|
|
|
|
|
|
|
|
|
|
|
|
$argBgPlain = darken(#f3f5f7, 4%);
|
|
|
|
|
|
$argBgInline = darken(#f3f5f7, 5%);
|
|
|
|
|
|
$argBgBlock = lighten($cmdBgBlock, 15%);
|
|
|
|
|
|
|
|
|
|
|
|
// FONTS
|
|
|
|
|
|
$monoFont = Inconsolata, source-code-pro, Menlo, Monaco, Consolas, "Courier New", monospace;
|
|
|
|
|
|
$monoWeight = 500;
|
