| @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-match-distance; // 3em; | |
| bottom: 2pt; | |
| left: 2pt; | |
| } | |
| } | |
| } |