dev/scss/main/koralquery.scss

@charset "utf-8";
@import "../util";

$border-size: 2px;

#koralquery {
  white-space: pre;
  > div {
    overflow-x: auto;
    font-size: 85%;
    background-color: $nearly-white;
    margin: {
      top: 2pt;
      right: $right-view-distance; // 3em;
      bottom: 2pt;
      left: 2pt;
    }
  }
}