| 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 | } | ||||