Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 1 | @charset "utf-8"; |
| 2 | @import "../util"; |
| 3 | |
| 4 | $border-size: 2px; |
| 5 | |
| 6 | #koralquery { |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 7 | white-space: pre; |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 8 | > div { |
Akron | 27ae9ec | 2015-06-23 00:43:21 +0200 | [diff] [blame] | 9 | overflow-x: auto; |
| 10 | font-size: 85%; |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 11 | background-color: $nearly-white; |
| 12 | margin: { |
| 13 | top: 2pt; |
Akron | fc8dbae | 2019-02-15 13:16:20 +0100 | [diff] [blame] | 14 | right: $right-view-distance; // 3em; |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 15 | bottom: 2pt; |
| 16 | left: 2pt; |
| 17 | } |
| 18 | } |
| 19 | } |