1.gwt-TabBar .gwt-TabBarItem { 2 background: #f4f4f4; 3 margin-right: 2px; 4 padding: 0.2em; 5 padding-left: 0.4em; 6 padding-right: 0.4em; 7 font-weight: bold; 8 cursor: pointer; 9} 10 11.gwt-TabBar .gwt-TabBarItem-selected { 12 background: #55679e; 13 color: white; 14 cursor: default; 15} 16 17.gwt-TabPanelBottom { 18 border: 2px solid #55679e; 19 padding: 5px; 20} 21 22.custom-tab-panel { 23 width: 100%; 24} 25 26/* The addition of "body" here gives this priority over the default rule in standard.css, which 27 * would otherwise have the same specificity. 28 */ 29body .menubar-hand-cursor .gwt-MenuItem { 30 cursor: pointer; 31} 32 33.code { 34 white-space: pre; 35 font-family: Courier New, Courier, monospace; 36} 37 38td .status_blank { 39 background-color: #ffffff; 40} 41 42td .status_none { 43 background-color: #d080d0; 44} 45 46td .status_bad { 47 background-color: #ff4040; 48} 49 50td .status_75 { 51 background-color: #ffc040; 52} 53 54td .status_85 { 55 background-color: #ffff00; 56} 57 58td .status_90 { 59 background-color: #c0ff80; 60} 61 62td .status_95 { 63 background-color: #32CD32; 64} 65