| 0,0 → 1,107 |
|---|
| |
| body |
| { |
| font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular; |
| background-color: white; |
| margin: 20px; |
| padding: 0px; |
| font-size: 76%; |
| } |
| |
| H1 |
| { |
| color: #8c0000; |
| font-size: 30px; |
| font-weight: normal; |
| font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular; |
| text-decoration: none; |
| } |
| |
| a:link { color: black; |
| font-size: 76%; |
| } |
| a:visited { color: black; |
| font-size: 76%; |
| } |
| |
| HR { color: #8c0000; background-color: #8c0000 } |
| |
| .highlight { color: #8c0000; font-style: italic; } |
| |
| TABLE.bordered, TABLE.outlined, TABLE.blame |
| { |
| border-collapse: collapse; |
| border: solid 2px #8c0000; |
| } |
| |
| .bordered TD, .bordered TH |
| { |
| border: solid 2px #8c0000; |
| } |
| |
| .outlined TH, .blame TH |
| { |
| padding: 5px 5px 5px 5px; |
| font-weight: bold; |
| border: solid 2px #8c0000; |
| } |
| |
| .outlined TD, .blame TD |
| { |
| padding: 1px 5px 1px 5px; |
| border-right: solid 2px #8c0000; |
| border-bottom: solid 1px #F0F0F0; |
| } |
| |
| .blame TD |
| { |
| font-size: 11px; |
| } |
| |
| .blame TD A |
| { |
| font-size: 100%; |
| } |
| |
| TD.diffdeleted |
| { |
| font-size: 11px; |
| background-color: red; |
| } |
| |
| TD.diffchanged |
| { |
| font-size: 11px; |
| background-color: yellow; |
| } |
| |
| TD.diffadded |
| { |
| font-size: 11px; |
| background-color: green; |
| } |
| |
| TD.diff |
| { |
| font-size: 11px; |
| background-color: #D0D0D0; |
| } |
| |
| TABLE.diff |
| { |
| border-collapse: collapse; |
| } |
| |
| DIV.newpath |
| { |
| padding: 5px 5px 5px 5px; |
| border: solid 2px #8c0000; |
| } |
| |
| .plusbox { float: left; clear: both; position: relative; top: -3px; font-size: 13px; font-weight: bold; width: 16px; text-indent: 0; height: 16px; color: black; text-align: center; padding: 0px 2px 0px 3px; border: black solid 1px; margin-right: 5px; } |
| .minusbox { float: left; clear: both; position: relative; top: -3px; font-size: 13px; font-weight: bold; width: 16px; text-indent: 0; height: 16px; color: black; background-color: #8c0000; text-align: center; padding: 0px 2px 0px 3px; border: black solid 1px; margin-right: 5px; } |
| |
| .groupname { padding-left: 0px; text-indent: -25px; margin: 8px 0 3px 0;} |
| .switchcontent { margin: 3px 0 0 20px; } |
| |
| code { white-space: pre-wrap; } |