@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; | |
} |