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

/**
 * Styles for the KoralQuery view.
 */

#koralquery {
  white-space: pre;
  > div {
    // TODO:
    //   Mark this with result-view
    background-color: $nearly-white;
    overflow-x:       auto;
    font-size:        85%;

    margin: {
      top:    2pt;
      right:  $right-view-distance;
      bottom: 2pt;
      left:  2pt;
    }
  }
}
