.textCtrl
{
@property "textCtrl";
font-size: 13px;
font-family: Calibri, 'Trebuchet MS', Verdana, Geneva, Arial, Helvetica, sans-serif;
color: @textCtrlText;
background-color: @textCtrlBackground;
padding: 3px;
margin-bottom: 2px;
border: 1px solid silver;
border-radius: 4px;
outline: 0;
@property "/textCtrl";
}