Dirk Dougherty | 1663876 | 2014-06-23 12:11:35 -0700 | [diff] [blame^] | 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;} |