pretty-show-1.6.16/style/pretty-show.css

   1 table.tallRecord             { border: 1px solid #9c9; border-top-width: 5px }
   2 table.tallRecord>tbody>tr>th { background-color: #cfc }
   3
   4 table.wideTuple              { border: 1px solid #9c9 }
   5 table.wideTuple >tbody>tr>td { padding-left: 5px; padding-right: 5px }
   6
   7 table.tallList  >tbody>tr>th,
   8 table.recordList>tbody>tr>th,
   9 table.wideList  >tbody>tr>th  { background-color: #ffc; border: 1px solid #cc9 }
  10
  11 .con, .label, .ix { font-weight: normal }
  12
  13 /* Things that get clicked */
  14 table.recordList>tbody>tr>th.ix,
  15 table.recordList>tbody>tr>th.con,
  16 table.tallList  >tbody>tr>th.ix,
  17 table.tallList  >tbody>tr>th.con,
  18 table.tallRecord>tbody>tr>th.con,
  19 table.tallRecord>tbody>tr>th.label,
  20 table.wideList  >tbody>tr>th.con { cursor: hand }
  21
  22 /* Things that get closed */
  23 table.tallRecord>tbody>tr>th.closed,
  24 table.tallList  >tbody>tr>th.closed,
  25 table.recordList>tbody>tr>th.closed,
  26 table.wideList  >tbody>tr>th.closed  { background-color: #ccf }
  27
  28 /* rational numbers */
  29 table.ratio>tbody>tr>td           { text-align: center }
  30 table.ratio>tbody>tr>td.numerator { border-bottom: solid black 1px }
  31
  32 .char, .integer { font-family: monospace }