.Ymacs-Theme-ef-maris-dark {
  --ymacs-cursor-bg: #8fdfff;
  --ymacs-cursor-fg: #131c2b;
  color: #eaedef;
  background-color: #131c2b;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_SplitCont > .bar {
  background-color: #969896;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_SplitCont.horiz > .bar {
  border-top: 1px solid #1a2331;
  border-bottom: 1px solid #1a2331;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_SplitCont.vert > .bar {
  border-left: 1px solid #1a2331;
  border-right: 1px solid #1a2331;
}

.Ymacs-Theme-ef-maris-dark.Ymacs-hl-line .Ymacs_Frame-active div.line:has(.Ymacs-caret) {
  background-color: #24324263;
}

.Ymacs-Theme-ef-maris-dark .Ymacs-frame-content div.line:before {
  color: #969faf;
}

.Ymacs-Theme-ef-maris-dark.Ymacs-hl-line .Ymacs_Frame-active div.line:has(.Ymacs-caret):before {
  color: #fff;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .Ymacs-frame-content:before {
  color: #969faf;
  background-color: #131c2b;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Popup {
  --ymacs-popup-bg: #1a2331;
  --ymacs-popup-fg: #eaedef;
  --ymacs-popup-scrollbar-thumb: var(--ymacs-popup-fg);
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Popup .Ymacs_Menu .Ymacs_Menu_Item:hover, .Ymacs-Theme-ef-maris-dark .Ymacs_Popup .Ymacs_Menu .Ymacs_Menu_Item.selected, .Ymacs-Theme-ef-maris-dark .Ymacs_Popup .Ymacs_Menu .Ymacs_Menu_Item.selected:hover {
  background-color: #204358;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Overlay.selection div {
  background-color: #183c65;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Overlay.isearch div {
  color: #fff;
  background-color: #847020;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Overlay.isearch-lazy div {
  color: #fff;
  background-color: #2f5f9f;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Overlay.match-paren div {
  color: #000;
  background-color: #32cd32;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Modeline {
  color: #969faf;
  background-color: #2a3644;
}

.Ymacs-Theme-ef-maris-dark .Ymacs_Frame-active .Ymacs_Modeline {
  color: #ecf0ff;
  background-color: #2f527b;
}

.Ymacs-Theme-ef-maris-dark .minibuffer-prompt {
  color: #70a0ff;
}

.Ymacs-Theme-ef-maris-dark .mode-line-buffer-id {
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .directive {
  color: #cf90ff;
}

.Ymacs-Theme-ef-maris-dark .type {
  color: #41bf4f;
}

.Ymacs-Theme-ef-maris-dark .builtin {
  color: #d4aaf0;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .function-name {
  color: #7fce5f;
}

.Ymacs-Theme-ef-maris-dark .variable-name {
  color: #2fd0db;
}

.Ymacs-Theme-ef-maris-dark .constant {
  color: #12b4ff;
}

.Ymacs-Theme-ef-maris-dark .string, .Ymacs-Theme-ef-maris-dark .string-starter, .Ymacs-Theme-ef-maris-dark .string-stopper, .Ymacs-Theme-ef-maris-dark .regexp, .Ymacs-Theme-ef-maris-dark .regexp-starter, .Ymacs-Theme-ef-maris-dark .regexp-stopper, .Ymacs-Theme-ef-maris-dark .regexp-modifier {
  color: #65d5a8;
}

.Ymacs-Theme-ef-maris-dark .keyword {
  color: #70a0ff;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .comment, .Ymacs-Theme-ef-maris-dark .mcomment, .Ymacs-Theme-ef-maris-dark .comment-starter, .Ymacs-Theme-ef-maris-dark .mcomment-starter, .Ymacs-Theme-ef-maris-dark .mcomment-stopper {
  color: #eaa4a4;
  font-style: italic;
}

.Ymacs-Theme-ef-maris-dark .number {
  color: #12b4ff;
}

.Ymacs-Theme-ef-maris-dark .error {
  color: #f0c060;
}

.Ymacs-Theme-ef-maris-dark .isearch-fail {
  color: #ff7a5f;
  background-color: #551327;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .xml-open-tag, .Ymacs-Theme-ef-maris-dark .xml-close-tag {
  color: #7fce5f;
}

.Ymacs-Theme-ef-maris-dark .xml-attribute {
  color: #2fd0db;
}

.Ymacs-Theme-ef-maris-dark .xml-entity-starter, .Ymacs-Theme-ef-maris-dark .xml-entity-stopper, .Ymacs-Theme-ef-maris-dark .xml-entity {
  color: #12b4ff;
}

.Ymacs-Theme-ef-maris-dark .xml-open-bracket, .Ymacs-Theme-ef-maris-dark .xml-close-bracket, .Ymacs-Theme-ef-maris-dark .xml-closetag-slash {
  color: #eaedef;
}

.Ymacs-Theme-ef-maris-dark .xml-cdata, .Ymacs-Theme-ef-maris-dark .xml-cdata-starter, .Ymacs-Theme-ef-maris-dark .xml-cdata-stopper {
  color: #eaedef;
  font-style: italic;
}

.Ymacs-Theme-ef-maris-dark .block-starter, .Ymacs-Theme-ef-maris-dark .block-stopper, .Ymacs-Theme-ef-maris-dark .exp-starter, .Ymacs-Theme-ef-maris-dark .exp-stopper {
  color: #cf90ff;
}

.Ymacs-Theme-ef-maris-dark .lisp-keyword {
  color: #d4aaf0;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .heading1 {
  color: #70a0ff;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .heading2 {
  color: #7fce5f;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .heading3 {
  color: #2fd0db;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .heading4 {
  color: #cf90ff;
  font-weight: bold;
}

.Ymacs-Theme-ef-maris-dark .markdown-blockquote, .Ymacs-Theme-ef-maris-dark .markdown-blockquote1, .Ymacs-Theme-ef-maris-dark .markdown-blockquote2, .Ymacs-Theme-ef-maris-dark .markdown-blockquote3 {
  color: #eaa4a4;
  font-style: italic;
}

.Ymacs-Theme-ef-maris-dark.Ymacs-line-numbers .Ymacs-frame-content:before {
  border-right: 1px solid #0b1019;
}

.Ymacs-Theme-ef-maris-dark.Ymacs-line-numbers .Ymacs_Frame-active .Ymacs-frame-content:before {
  box-shadow: 3px 0 7px -3px #0004;
}
/*# sourceMappingURL=ef-maris-dark.css.map */