// The ui-variables file is provided by base themes provided by Atom.
//
// See https://github.com/atom/atom-dark-ui/blob/master/stylesheets/ui-variables.less
// for a full listing of what's available.
@import "ui-variables";
@import "syntax-variables";

.ensime {
}


.ensime-log-view {
  overflow: auto; // doesn't scroll otherwise
  cursor: text;

  > ul {
    cursor: text;
  }
}

.ensime-tooltip {
  position: absolute;
  z-index:100;
  padding: 5px 8px 3px 8px;
  font-family: Consolas, monospace;
  font-size: 9pt;
  line-height: 12pt;
  text-align: left;
  white-space: pre;

  &:empty {
    display: none;
  }
}

.ensime-status {
  color : @text-color-info;
}

.am-panel {
  font-size : larger;
}

.line-message div {
  color : @text-color;
}

.line-message div.highlight-error {
  color : @text-color-selected;
}

.line-message div.highlight-warning {
  color : @text-color-selected;
}

// The ui-variables file is provided by base themes provided by Atom.
//
// See https://github.com/atom/atom-dark-ui/blob/master/stylesheets/ui-variables.less
// for a full listing of what's available.
@import "ui-variables";
@import "syntax-variables";

.ensime {
}


.ensime-log-view {
  overflow: auto; // doesn't scroll otherwise
  cursor: text;

  > ul {
    cursor: text;
  }
}

.ensime-tooltip {
  position: absolute;
  z-index:100;
  padding: 5px 8px 3px 8px;
  font-family: Consolas, monospace;
  font-size: 9pt;
  line-height: 12pt;
  text-align: left;
  white-space: pre;

  &:empty {
    display: none;
  }
}

.ensime-status {
  color : @text-color-info;
}

.line-message div {
  color : @text-color;
}

.line-message div.highlight-error {
  color : @text-color-selected;
}

.line-message div.highlight-warning {
  color : @text-color-selected;
}

Return error window output to default font size.
Return error window output to default font size.
