@ -189,11 +189,11 @@
}
hr {
> hr {
.transition(0.75s ease-in-out border-color);
&.highlight hr {
&.highlight > hr {
border-color: darken(@brand-info, 20%);
box-shadow: 0px 0px 1px @brand-info;