// 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);
}
