// Panel
.@{prefix}-panel {
border: 0 solid mix(rgb(red(@panel-border), green(@panel-border), blue(@panel-border)), @panel-bg, 20%);
border: 0 solid @panel-border;
.vertical-gradient(@panel-bg, @panel-bg-hlight);
}