Home | History | Annotate | Download | only in 13
      1 
      2 /* (http://www.jdiff.org) */
      3 
      4 div.and-diff-id {border: 1px solid #eee;position:relative;float:right;clear:both;padding:0px;}
      5 table.diffspectable {border:1px;padding:0px;margin:0px;}
      6 .diffspechead {background-color:#eee;}
      7 .diffspectable tr {border:0px;padding:0px;}
      8 .diffspectable td  {background-color:eee;border:0px;font-size:90%;font-weight:normal;padding:0px;padding-left:1px;padding-right:1px;text-align:center;color:777;}
      9 td.diffvalueold {color:orange;background-color:white;border:0px;font-size:80%;font-style:normal;text-align:left;padding:0px;padding-left:1px;padding-right:1px;line-height:.95em;}
     10 td.diffvaluenew {color:green;background-color:white;border:0px;font-size:80%;font-weight:normal;text-align:left;padding:0px;padding-left:1px;padding-right:1px;line-height:.95em;}
     11 td.diffvalue {color:444;background-color:white;border:0px;font-size:80%;font-weight:normal;text-align:left;padding:0px;padding-left:1px;padding-right:1px;line-height:.95em;}
     12 td.diffspec {background-color:white;border:0px;font-size:80%;font-weight:normal;padding:1px;color:444;text-align:right;padding-right:.5em;line-height:.95em;}
     13 tt {font-size:11pt;font-family:monospace;}
     14 .indexHeader {
     15   font-size:96%;
     16   line-height:.8em;}
     17 .jdiffIndex td {
     18   font-size:96%;
     19   xline-height:.8em;
     20   padding:2px;
     21   padding-left:1em;}
     22 .indexText {
     23   font-size:100%;
     24   padding-left:1em;}
     25 #indexTableCaption {
     26   font-size:96%;
     27   margin-top:.25em;
     28   margin-bottom:0;
     29   }
     30 .hiddenlink {
     31   font-size:96%;
     32   line-height:.8em;
     33   text-decoration:none;}
     34 a {
     35   text-decoration:none;}
     36 a:hover {
     37   text-decoration:underline;}
     38 .indexBox {
     39   border: 1px solid red;
     40   margin:1em 0 0 0;}
     41 .letterIndexHead {
     42   font-size: 1.5em;font-weight:9;
     43   margin:0 0 0em 0;
     44   border: 1px solid red;}
     45