Home | History | Annotate | Download | only in public 
      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  */
     29 body .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 
     38 td .status_blank {
     39   background-color: #ffffff;
     40 }
     41 
     42 td .status_none {
     43   background-color: #d080d0;
     44 }
     45 
     46 td .status_bad {
     47   background-color: #ff4040;
     48 }
     49 
     50 td .status_75 {
     51   background-color: #ffc040;
     52 }
     53 
     54 td .status_85 {
     55   background-color: #ffff00;
     56 }
     57 
     58 td .status_90 {
     59   background-color: #c0ff80;
     60 }
     61 
     62 td .status_95 {
     63   background-color: #32CD32;
     64 }
     65