32 				border-top-color: #d44918;

    32 				border-top-color: #d44918;

    33 				border-bottom-color: #a13812;

    33 				border-bottom-color: #a13812;

    34 				padding: 4px 10px 4px 20px;

    34 				padding: 4px 10px 4px 20px;

    35 				line-height: 18px;

    35 				line-height: 18px;

    36 

    36 

    37 				.minified #left-panel & {

    40 				.minified #left-panel & {

    38 					padding: 5px;

    41 					padding: 5px;

    39 					color: #b94015;

    42 					color: #b94015;

    40 					line-height: 0;

    43 					line-height: 0;

    41 					max-height: 10px;

    44 					max-height: 10px;