.default {
  background-color: white;
  color: black;
  font-style: normal;
  font-weight: normal;
  font-size: 120;
  font-stretch: medium;
  //font-foundry: unknown;
  font-family: "DejaVu Sans Mono";
}
unknown {
  // background-mode: light;
  // border-color: black;
  // cursor-color: #141312;
  // mouse-color: #141312;
  // Man-overstrike-face: bold;
  // Man-reverse-face: highlight;
  // Man-underline-face: underline;
  // ebnf-except-border-color: Black;
  // ebnf-line-color: Black;
  // ebnf-non-terminal-border-color: Black;
  // ebnf-repeat-border-color: Black;
  // ebnf-special-border-color: Black;
  // ebnf-terminal-border-color: Black;
  // list-matching-lines-buffer-name-face: underline;
  // list-matching-lines-face: match;
  // org-goto-interface: outline;
  // ps-line-number-color: black;
  // ps-zebra-color: 0.95;
  // term-default-bg-color: white;
  // term-default-fg-color: black;
  // view-highlight-face: highlight;
  // widget-mouse-face: highlight;
}
.bold {
  font-weight: bold;
}
.bold-italic {
  font-style: italic;
  font-weight: bold;
}
.buffer-menu-buffer {
  font-weight: bold;
}
.button {
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.c-nonbreakable-space-face {
  font-weight: bold;
  background-color: Red1;
}
.comint-highlight-input {
  font-weight: bold;
}
.comint-highlight-prompt {
  color: dark blue;
}
.completions-common-part {
  font-family: "DejaVu Sans Mono";
  //font-foundry: unknown;
  font-stretch: normal;
  font-weight: normal;
  font-style: normal;
  color: black;
  background-color: white;
  font-size: 120;
}
.completions-first-difference {
  font-weight: bold;
}
.custom-button {
  background-color: lightgrey;
  color: black;
  border-width: 2;
  border-style: outset;
}
.custom-button-mouse {
  background-color: grey90;
  color: black;
  border-width: 2;
  border-style: outset;
}
.custom-button-pressed {
  background-color: lightgrey;
  color: black;
  border-width: 2;
  border-style: inset;
}
.custom-button-pressed-unraised {
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: magenta4;
}
.custom-button-unraised {
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.custom-changed {
  background-color: blue1;
  color: white;
}
.custom-comment {
  background-color: gray85;
}
.custom-comment-tag {
  color: blue4;
}
.custom-face-tag {
  font-weight: bold;
  color: blue1;
}
.custom-group-tag {
  font-weight: bold;
  font-family: "Sans Serif";
  color: blue1;
  font-size: 1.2;
}
.custom-group-tag-1 {
  font-weight: bold;
  font-family: "Sans Serif";
  color: red1;
  font-size: 1.2;
}
.custom-invalid {
  background-color: red1;
  color: yellow1;
}
.custom-link {
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: blue1;
}
.custom-modified {
  background-color: blue1;
  color: white;
}
.custom-rogue {
  background-color: black;
  color: pink;
}
.custom-saved {
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.custom-set {
  background-color: white;
  color: blue1;
}
.custom-state {
  color: dark green;
}
.custom-themed {
  background-color: blue1;
  color: white;
}
.custom-variable-button {
  font-weight: bold;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.custom-variable-tag {
  font-weight: bold;
  color: blue1;
}
.custom-visibility {
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: blue1;
  font-size: 0.8;
}
.diff-context {
  color: grey50;
}
.diff-file-header {
  font-weight: bold;
  background-color: grey70;
}
.diff-function {
  background-color: grey80;
}
.diff-header {
  background-color: grey80;
}
.diff-hunk-header {
  background-color: grey80;
}
.diff-index {
  font-weight: bold;
  background-color: grey70;
}
.diff-nonexistent {
  font-weight: bold;
  background-color: grey70;
}
.diff-refine-change {
  background-color: grey85;
}
.dired-directory {
  color: Blue1;
}
.dired-flagged {
  font-weight: bold;
  color: Red1;
}
.dired-header {
  color: ForestGreen;
}
.dired-ignored {
  color: grey50;
}
.dired-mark {
  color: CadetBlue;
}
.dired-marked {
  font-weight: bold;
  color: Red1;
}
.dired-perm-write {
  color: Firebrick;
}
.dired-symlink {
  color: Purple;
}
.dired-warning {
  font-weight: bold;
  color: Red1;
}
.eldoc-highlight-function-argument {
  font-weight: bold;
}
.escape-glyph {
  color: brown;
}
.eshell-ls-archive {
  font-weight: bold;
  color: Orchid;
}
.eshell-ls-backup {
  color: OrangeRed;
}
.eshell-ls-clutter {
  font-weight: bold;
  color: OrangeRed;
}
.eshell-ls-directory {
  font-weight: bold;
  color: Blue;
}
.eshell-ls-executable {
  font-weight: bold;
  color: ForestGreen;
}
.eshell-ls-missing {
  font-weight: bold;
  color: Red;
}
.eshell-ls-product {
  color: OrangeRed;
}
.eshell-ls-readonly {
  color: Brown;
}
.eshell-ls-special {
  font-weight: bold;
  color: Magenta;
}
.eshell-ls-symlink {
  font-weight: bold;
  color: Dark Cyan;
}
.eshell-ls-unreadable {
  color: Grey30;
}
.eshell-prompt {
  font-weight: bold;
  color: Red;
}
.file-name-shadow {
  color: grey50;
}
.fixed-pitch {
  font-family: "Monospace";
}
.builtin {
  color: Orchid;
}
.comment-delimiter {
  color: Firebrick;
}
.comment {
  color: Firebrick;
}
.constant {
  color: CadetBlue;
}
.doc {
  color: RosyBrown;
}
.function-name {
  color: Blue1;
}
.keyword {
  color: Purple;
}
.preprocessor {
  color: Orchid;
}
.font-lock-regexp-grouping-backslash {
  font-weight: bold;
}
.font-lock-regexp-grouping-construct {
  font-weight: bold;
}
.string {
  color: RosyBrown;
}
.type {
  color: ForestGreen;
}
.variable-name {
  color: DarkGoldenrod;
}
.warning {
  font-weight: bold;
  foreground-color: Red1;
}
.inspecting {
  border-color: Red1;
}
.fringe {
  background-color: grey95;
}
.header-line {
  border-width: -1;
  border-style: outset;
  background-color: grey90;
  color: grey20;
}
.help-argument-name {
  font-style: italic;
}
.highlight {
  background-color: darkseagreen2;
}
.ido-first-match {
  font-weight: bold;
}
.ido-incomplete-regexp {
  font-weight: bold;
  color: Red1;
}
.ido-indicator {
  background-color: red1;
  color: yellow1;
  font-stretch: condensed;
}
.ido-only-match {
  color: ForestGreen;
}
.ido-subdir {
  color: red1;
}
.info-header-node {
  font-style: italic;
  font-weight: bold;
  color: brown;
}
.info-header-xref {
  color: blue1;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.info-menu-header {
  font-weight: bold;
  font-family: "Sans Serif";
}
.info-menu-star {
  color: red1;
}
.info-node {
  font-style: italic;
  color: brown;
  font-weight: bold;
}
.info-title-1 {
  font-weight: bold;
  font-family: "Sans Serif";
  font-size: 1.728;
}
.info-title-2 {
  font-weight: bold;
  font-family: "Sans Serif";
  font-size: 1.44;
}
.info-title-3 {
  font-weight: bold;
  font-family: "Sans Serif";
  font-size: 1.2;
}
.info-title-4 {
  font-weight: bold;
  font-family: "Sans Serif";
}
.info-xref {
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: blue1;
}
.isearch {
  background-color: magenta3;
  color: lightskyblue1;
}
.isearch-fail {
  background-color: RosyBrown1;
}
.italic {
  font-style: italic;
}
.lazy-highlight {
  background-color: paleturquoise;
}
.link {
  color: blue1;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.link-visited {
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: magenta4;
}
.match {
  background-color: yellow1;
}
.minibuffer-prompt {
  color: medium blue;
}
.mode-line {
  background-color: grey75;
  color: black;
  border-width: -1;
  border-style: outset;
}
.mode-line-buffer-id {
  font-weight: bold;
}
.mode-line-emphasis {
  font-weight: bold;
}
.mode-line-inactive {
  background-color: grey90;
  color: grey20;
  border-width: -1;
  border-color: grey75;
  //border-style: undefined;
  font-weight: light;
}
.next-error {
  background-color: lightgoldenrod2;
}
.nobreak-space {
  color: brown;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-agenda-column-dateline {
  font-family: "DejaVu Sans Mono";
  font-weight: normal;
  font-style: normal;
  background-color: grey90;
  font-size: 120;
}
.org-agenda-date {
  color: Blue1;
}
.org-agenda-date-weekend {
  font-weight: bold;
  color: Blue1;
}
.org-agenda-dimmed-todo-face {
  color: grey50;
}
.org-agenda-restriction-lock {
  background-color: yellow1;
}
.org-agenda-structure {
  color: Blue1;
}
.org-archived {
  color: grey50;
}
.org-clock-overlay {
  background-color: yellow1;
}
.org-code {
  color: grey50;
}
.org-column {
  background-color: grey90;
  font-style: normal;
  font-weight: normal;
  font-size: 120;
  font-family: "DejaVu Sans Mono";
}
.org-column-title {
  font-weight: bold;
  background-color: grey90;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-date {
  color: Purple;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-done {
  font-weight: bold;
  color: ForestGreen;
}
.org-drawer {
  color: Blue1;
}
.org-ellipsis {
  color: DarkGoldenrod;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-footnote {
  color: Purple;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-formula {
  color: Firebrick;
}
.org-headline-done {
  color: RosyBrown;
}
.org-hide {
  color: white;
}
.org-latex-and-export-specials {
  color: SaddleBrown;
}
.org-level-1 {
  color: Blue1;
}
.org-level-2 {
  color: DarkGoldenrod;
}
.org-level-3 {
  color: Purple;
}
.org-level-4 {
  color: Firebrick;
}
.org-level-5 {
  color: ForestGreen;
}
.org-level-6 {
  color: CadetBlue;
}
.org-level-7 {
  color: Orchid;
}
.org-level-8 {
  color: RosyBrown;
}
.org-link {
  color: Purple;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-scheduled {
  color: DarkGreen;
}
.org-scheduled-previously {
  color: Firebrick;
}
.org-scheduled-today {
  color: DarkGreen;
}
.org-sexp-date {
  color: Purple;
}
.org-special-keyword {
  color: RosyBrown;
}
.org-table {
  color: Blue1;
}
.org-tag {
  font-weight: bold;
}
.org-target {
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-time-grid {
  color: DarkGoldenrod;
}
.org-todo {
  font-weight: bold;
  color: Red1;
}
.org-upcoming-deadline {
  color: Firebrick;
}
.org-verbatim {
  color: grey50;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.org-warning {
  font-weight: bold;
  color: Red1;
}
.outline-1 {
  color: Blue1;
}
.outline-2 {
  color: DarkGoldenrod;
}
.outline-3 {
  color: Purple;
}
.outline-4 {
  color: Firebrick;
}
.outline-5 {
  color: ForestGreen;
}
.outline-6 {
  color: CadetBlue;
}
.outline-7 {
  color: Orchid;
}
.outline-8 {
  color: RosyBrown;
}
.query-replace {
  color: lightskyblue1;
  background-color: magenta3;
}
.region {
  background-color: lightgoldenrod2;
}
.secondary-selection {
  background-color: yellow1;
}
.sgml-namespace {
  color: Orchid;
}
.shadow {
  color: grey50;
}
.speedbar-button-face {
  color: green4;
}
.speedbar-directory-face {
  color: blue4;
}
.speedbar-file-face {
  color: cyan4;
}
.speedbar-highlight-face {
  background-color: green;
}
.speedbar-selected-face {
  color: red;
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.speedbar-separator-face {
  background-color: blue;
  color: white;
  border-top-color: gray;
  border-top-style: solid;
  border-top-width: thin;
}
.speedbar-tag-face {
  color: brown;
}
.tool-bar {
  background-color: grey75;
  color: black;
  border-width: 1;
  border-style: outset;
}
.tooltip {
  font-family: "Sans Serif";
  background-color: lightyellow;
  color: black;
}
.trailing-whitespace {
  background-color: red1;
}
.underline {
  border-bottom-style: solid;
  border-bottom-width: thin;
}
.variable-pitch {
  font-family: "Sans Serif";
}
.widget-button {
  font-weight: bold;
}
.widget-button-pressed {
  color: red1;
}
.widget-documentation {
  color: dark green;
}
.widget-field {
  background-color: gray85;
}
.widget-inactive {
  color: grey50;
}
.widget-single-line-field {
  background-color: gray85;
}