Home | History | Annotate | Download | only in public 
      1 /* this combination of styles makes a div clip it's contents */
      2 div.clipper {
      3   position: relative;
      4   overflow: hidden;
      5 }
      6 
      7 /* necessary to get row headers aligned with table */
      8 table.spreadsheet-parent td {
      9   vertical-align: top;
     10 }
     11 
     12 /* allow headers to scroll with table */
     13 table.spreadsheet-headers {
     14   position: relative;
     15 }
     16 
     17 .spreadsheet-headers td, .spreadsheet-data td {
     18   border-bottom: 1px solid gray;
     19   border-right: 1px solid gray;
     20 }
     21 
     22 .spreadsheet-headers td {
     23   background: #f4f4f4;
     24 }
     25 
     26 /* don't wrap cells automatically */
     27 .spreadsheet-data td {
     28   white-space: pre;
     29 }
     30 
     31 .spreadsheet-data div, .spreadsheet-headers div {
     32   padding: 2px;
     33   cursor: pointer;
     34 }
     35 
     36 /* allow empty cells to override the clickable cursor */
     37 div.spreadsheet-cell-nonclickable {
     38   cursor: default;
     39 }
     40 
     41 .highlighted {
     42   background-color: #FFFFBB;
     43 }
     44 
     45 .log-file-panel {
     46   width: 100%;
     47   margin-bottom: 2px;
     48 }
     49 
     50 .log-file-panel .content {
     51   white-space: pre;
     52   font-family: monospace;
     53   max-height: 30em;
     54 }
     55 
     56 .test-attributes .content {
     57   white-space: pre;
     58   font-family: monospace;
     59 }
     60 
     61 .test-attributes .header table {
     62   font-weight: bold;
     63 }
     64 
     65 .fixed-headers-input {
     66   width: 30em;
     67   height: 10em;
     68 }
     69