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