michael@0: label.heading {
michael@0:   font-size:   medium;
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: button.close {
michael@0:   font-size:   small;
michael@0: }
michael@0: 
michael@0: iframe {
michael@0:   padding-left: 10px;
michael@0: }
michael@0: 
michael@0: vbox.hidden {
michael@0:     display: none;
michael@0: }