32 @grayDark: #525252;

    32 @grayDark: #525252;

    33 @silver: #b4b4b4;

    33 @silver: #b4b4b4;

    34 @silverLight: #d0d0d0;

    34 @silverLight: #d0d0d0;

    35 

    35 

    36 @activeTabBorder: #3276b1;

    36 @activeTabBorder: #3276b1;

    37 

    38 

    38 

    39 

    39 .txt-color-blue {

    40 .txt-color-blue {

    40 	color: @blue !important;

    41 	color: @blue !important;

    41 }

    42 }