Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 1 | @charset "utf-8"; |
| 2 | @import "../util"; |
| 3 | |
Akron | 7e5afce | 2020-08-25 15:50:19 +0200 | [diff] [blame] | 4 | /** |
| 5 | * Styles for the KoralQuery view. |
| 6 | */ |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 7 | |
| 8 | #koralquery { |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 9 | white-space: pre; |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 10 | > div { |
Akron | 7f1e07e | 2020-08-24 20:12:14 +0200 | [diff] [blame] | 11 | // TODO: |
| 12 | // Mark this with result-view |
| 13 | background-color: $nearly-white; |
Akron | 7e5afce | 2020-08-25 15:50:19 +0200 | [diff] [blame] | 14 | overflow-x: auto; |
| 15 | font-size: 85%; |
| 16 | |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 17 | margin: { |
Akron | 7e5afce | 2020-08-25 15:50:19 +0200 | [diff] [blame] | 18 | top: 2pt; |
| 19 | right: $right-view-distance; |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 20 | bottom: 2pt; |
Akron | 7e5afce | 2020-08-25 15:50:19 +0200 | [diff] [blame] | 21 | left: 2pt; |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 22 | } |
| 23 | } |
| 24 | } |