{ # all dark colours are 20% darker than the bright ones black = { bright = "#4c5363"; # "#282c34"; dark = "#20232a"; }; red = { bright = "#e68990"; #"#e06c75"; dark = "#d43541"; }; green = { bright = "#acce93"; #"#98c379"; dark = "#77af4e"; }; yellow = { bright = "#eacc95"; #"#e5c07b"; dark = "#d9a440"; }; blue = { bright = "#80bff2"; #"#61afef"; dark = "#2490e9"; }; magenta = { bright = "#d193e3"; #"#c678dd"; dark = "#af42cf"; }; cyan = { bright = "#77c4ce"; #"#56b6c2"; dark = "#3b99a5"; }; white = { bright = "#e3e5e9"; #"#dcdfe4"; dark = "#a9b1bd"; }; background = "#282c34"; #black.dark; foreground = "#dcdfe4"; #white.bright; cursor = "#a3b3cc"; }