// Colors
let GRAY="93a1a1";
let DARK_GRAY="586e75";
let RED="dc322f";
let DARK_RED="cb4b16";
let GREEN="859900";
let DARK_GREEN="859900";
let YELLOW="b58900";
let DARK_YELLOW="b58900";
let BLUE="268bd2";
let DARK_BLUE="268bd2";
let PURPLE="6c71c4";
let DARK_PURPLE="d33682";
let CYAN="2aa198";
let DARK_CYAN="2aa198";
let BG = "073642"
let FG="fdf6e3";

let backgroundColor=BG;
let foregroundColor=FG;

let linkText=BLUE;
let linkTextHover=CYAN;
let linkTextActive=RED;

let buttonText=FG;
let buttonBackground=BG;
let buttonBorderColor=FG;

let inputText=FG;
let inputBackground=BG;
let inputBorderColor=FG;