michael@0: label {
michael@0:   background-color: green;
michael@0: }
michael@0: 
michael@0: label:disabled {
michael@0:   background-color: red;
michael@0: }
michael@0: 
michael@0: /* ref should always be green! */
michael@0: .ref:disabled {
michael@0:   background-color: green;
michael@0: }