Gruvbox dark theme for Blink shell

blink_theme_gruvbox_dark.js

black       = '#282828'; // bg
red         = '#CC241D'; // red
green       = '#98971A'; // green
yellow      = '#D79921'; // yellow
blue        = '#458588'; // blue
magenta     = '#B16286'; // purple
cyan        = '#689D6A'; // aqua
white       = '#A89984'; // light gray
lightBlack  = '#928374'; // medium gray
lightRed    = '#FB4934'; // red
lightGreen  = '#B8BB26'; // green
lightYellow = '#FABD2F'; // yellow
lightBlue   = '#83A598'; // blue
lightMagenta= '#D3869B'; // purple
lightCyan   = '#8EC07C'; // aqua
lightWhite  = '#EBDBB2'; // fg
 
t.prefs_.set('color-palette-overrides',
                 [ black ,red, green,yellow,
                  blue, magenta, cyan, white,
                  lightBlack, lightRed, lightGreen, lightYellow,
                  lightBlue ,lightMagenta, lightCyan, lightWhite ]);
 
t.prefs_.set('cursor-color', '#FE8019');
t.prefs_.set('foreground-color', lightWhite);
t.prefs_.set('background-color', black);