* { border: 0; margin: 0; padding: 0; spacing: 0; bg: #57606fae; 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"; }