| 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 | 7f1e07e | 2020-08-24 20:12:14 +0200 | [diff] [blame] | 9 | // TODO: |
| 10 | // Mark this with result-view | ||||
| 11 | background-color: $nearly-white; | ||||
| Akron | 27ae9ec | 2015-06-23 00:43:21 +0200 | [diff] [blame] | 12 | overflow-x: auto; |
| 13 | font-size: 85%; | ||||
| Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 14 | margin: { |
| 15 | top: 2pt; | ||||
| Akron | fc8dbae | 2019-02-15 13:16:20 +0100 | [diff] [blame] | 16 | right: $right-view-distance; // 3em; |
| Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 17 | bottom: 2pt; |
| 18 | left: 2pt; | ||||
| 19 | } | ||||
| 20 | } | ||||
| 21 | } | ||||