| @charset "utf-8"; | |
| @import "../util"; | |
| div.panel { | |
| position: relative; | |
| width: 100%; | |
| display: block; | |
| } | |
| div.view { | |
| position: relative; | |
| padding-top: $border-size; | |
| display: block; | |
| width: 100%; | |
| } | |
| div.result.panel .view { | |
| border: 1px solid $kwic-border; | |
| background-color: $dark-orange; | |
| } |