| 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 { | ||||
| 7 | border: 1px solid $kwic-border; | ||||
| 8 | white-space: pre; | ||||
| 9 | background-color: $dark-orange; | ||||
| 10 | > div { | ||||
| Akron | 27ae9ec | 2015-06-23 00:43:21 +0200 | [diff] [blame] | 11 | overflow-x: auto; |
| 12 | font-size: 85%; | ||||
| Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 13 | background-color: $nearly-white; |
| 14 | margin: { | ||||
| 15 | top: 2pt; | ||||
| 16 | right: $right-match-distance; // 3em; | ||||
| 17 | bottom: 2pt; | ||||
| 18 | left: 2pt; | ||||
| 19 | } | ||||
| 20 | } | ||||
| 21 | } | ||||