// 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;
  background-color: @panel-bg;
}