/* Flux stuff */

.tooltip {
  font-family: Consolas, 'Courier New', monospace;
  position: absolute;
  /* background: yellow; */
  background: #efefa8;
  box-shadow: 0px 3px 6px rgba(37, 37, 1, 0.439);
  /* background: #DC143C;*/
  /* padding: 5px; */
  border-radius: 4px;
  font-size: 14px;
  border: 1px solid #333;
  display: none;
  z-index: 1000;
  padding: 8px 12px;
  letter-spacing: 0.5px;
  white-space: pre; /* Preserves line breaks */
  color: black;
}

.ace_error {
  position: absolute;
  background-image: url("data:image/svg+xml,%3Csvg%20xmlns%3D'http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg'%20viewBox%3D'0%200%206%203'%20enable-background%3D'new%200%200%206%203'%20height%3D'3'%20width%3D'6'%3E%3Cg%20fill%3D'%23ff0000'%3E%3Cpolygon%20points%3D'5.5%2C0%202.5%2C3%201.1%2C3%204.1%2C0'%2F%3E%3Cpolygon%20points%3D'4%2C0%206%2C2%206%2C0.6%205.4%2C0'%2F%3E%3Cpolygon%20points%3D'0%2C2%201%2C3%202.4%2C3%200%2C0.6'%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E");
  background-repeat: repeat-x;
  background-position: bottom left;
  margin-bottom: 1px;
  z-index: 5;
}
