body {
  
  /* Dark Theme with Red and Blue in rgb notation */
  --col-background: rgb(0, 0, 16);
  --col-foreground: rgb(192, 192, 208);
  --col-highlight: rgb(255, 255, 255);
  --col-background-floating-window-menu: rgb(0, 0, 96);
  --col-foreground-floating-window-menu: rgb(255, 255, 255);
  --col-border-floating-window-menu: rgb(0, 0, 192);
  --col-background-floating-window-notice: rgb(0, 96, 0);
  --col-foreground-floating-window-notice: rgb(255, 255, 255);
  --col-border-floating-window-notice: rgb(0, 192, 0);
  --col-background-floating-window-error: rgb(96, 0, 0);
  --col-foreground-floating-window-error: rgb(255, 255, 255);
  --col-border-floating-window-error: rgb(192, 0, 0);
  --col-header: rgb(192, 192, 208);
  --col-header-selected: rgb(255, 255, 0);
  --col-link: rgb(160, 160, 255);
  --col-link-visited: rgb(112, 112, 255);
  --col-link-hover: rgb(255, 255, 255);
  --col-kbd: rgb(192, 255, 192);
  --col-menu-name-1: rgb(0, 0, 112);
  --col-menu-name-2: rgb(48, 48, 255);
  --col-menu-name-foreground: rgb(255, 255, 255);
  --col-menu-name-description: rgb(44, 17, 79);
  --col-menu-description-1: rgb(255, 48, 48);
  --col-menu-description-2: rgb(112, 0, 0);
  --col-menu-description-foreground: rgb(255, 255, 255);

  /* Dark Theme with Red and Blue in hexidecimal notation  (Same as above except for notation */
  /* --col-background: #000010;
  --col-foreground: #C0C0D0;
  --col-highlight: #FFFFFF;
  --col-background-floating-window-menu: #000060;
  --col-foreground-floating-window-menu: #FFFFFF;
  --col-border-floating-window-menu: #0000C0;
  --col-background-floating-window-notice: #006000;
  --col-foreground-floating-window-notice: #FFFFFF;
  --col-border-floating-window-notice: #00C000;
  --col-background-floating-window-error: #600000;
  --col-foreground-floating-window-error: #FFFFFF;
  --col-border-floating-window-error: #C00000;
  --col-header: #C0C0D0;
  --col-header-selected: #FFFF00;
  --col-link: #A0A0FF;
  --col-link-visited: #7070FF;
  --col-link-hover: #FFFFFF;
  --col-kbd: #C0FFC0;
  --col-menu-name-1: #000070;
  --col-menu-name-2: #3030FF;
  --col-menu-name-foreground: #FFFFFF;
  --col-menu-name-description: #2C114F;
  --col-menu-description-1: #FF3030;
  --col-menu-description-2: #700000;
  --col-menu-description-foreground: #FFFFFF; */

  /* Dark Theme which blends two menu colors together instead of five; Similar as above */
  /* --col-background: #000010;
  --col-foreground: #C0C0D0;
  --col-highlight: #FFFFFF;
  --col-background-floating-window-menu: #000060;
  --col-foreground-floating-window-menu: #FFFFFF;
  --col-border-floating-window-menu: #0000C0;
  --col-background-floating-window-notice: #006000;
  --col-foreground-floating-window-notice: #FFFFFF;
  --col-border-floating-window-notice: #00C000;
  --col-background-floating-window-error: #600000;
  --col-foreground-floating-window-error: #FFFFFF;
  --col-border-floating-window-error: #C00000;
  --col-header: #C0C0D0;
  --col-header-selected: #FFFF00;
  --col-link: #A0A0FF;
  --col-link-visited: #7070FF;
  --col-link-hover: #FFFFFF;
  --col-kbd: #C0FFC0;
  --col-menu-name-1: #000070;
  --col-menu-name-2: #000070;
  --col-menu-name-foreground: #FFFFFF;
  --col-menu-name-description: #700000;
  --col-menu-description-1: #700000;
  --col-menu-description-2: #700000;
  --col-menu-description-foreground: #FFFFFF; */

  /* Light Theme */  
  /* --col-background: #D0D0D6;
  --col-foreground: #000000; 
  --col-highlight: #4A4A4D;
  --col-background-floating-window-menu: #B0B0F0;
  --col-foreground-floating-window-menu: #000000;
  --col-border-floating-window-menu: #4A4AFF;
  --col-background-floating-window-notice: #80E080;
  --col-foreground-floating-window-notice: #000000;
  --col-border-floating-window-notice: #20D020;
  --col-background-floating-window-error: #FFCCCC;
  --col-foreground-floating-window-error: #000000;
  --col-border-floating-window-error: #FF6060;
  --col-header: #000000;
  --col-header-selected: #0000C0;
  --col-link: #3030FF;
  --col-link-visited: #6060FF;
  --col-link-hover: #000000; 
  --col-kbd: #007F00;
  --col-menu-name-1: #A0A0E0;
  --col-menu-name-2: #A0A0FF;
  --col-menu-name-foreground: #000000;
  --col-menu-name-description: #B7B0BF;
  --col-menu-description-1: #FFB3B3;
  --col-menu-description-2: #FF9999;
  --col-menu-description-foreground: #000000; */

}
