* {
  border: 0;
  margin: 0;
  padding: 0;
  spacing: 0;

  bg: #39404f80;
  fg: #f8f8f2;
  dark: #39404f;
  red: #bf616a;
  blue: #81a1c1;
  green: #a3be8c;
  grey: #ffffff10;
  greydim: #aeaeae;
  bluea: #81a1c150;
  greena: #a3be8ca0;

  background-color: @bg;
  text-color: @fg;

  font: "Menlo 12";
}