This repository has been archived on 2023-02-03. You can view files and clone it, but cannot push or open issues or pull requests.
|
$background: #282a36;
|
|
$current-line: #44475a;
|
|
$selection: #44475a;
|
|
$foreground: #f8f8f2;
|
|
$dark-foreground: mix($foreground, #000, 90%);
|
|
$comment: #6272a4;
|
|
$cyan: #8be9fd;
|
|
$green: #50fa7b;
|
|
$orange: #ffb86c;
|
|
$pink: #ff79c6;
|
|
$purple: #bd93f9;
|
|
$red: #ff5555;
|
|
$yellow: #f1fa8c; |