// 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; }
info at phpclasses dot org