Rev 172 Rev 185
Line 1... Line 1...
1   1  
2 body 2 body
3 { 3 {
4 font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular; 4 font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular;
5 background-color: white; 5 background-color: white;
6 margin: 20px; 6 margin: 20px;
7 padding: 0px; 7 padding: 0px;
8 font-size: 76%; 8 font-size: 76%;
9 } 9 }
10   10  
11 H1 11 H1
12 { 12 {
13 color: #8c0000; 13 color: #8c0000;
14 font-size: 30px; 14 font-size: 30px;
15 font-weight: normal; 15 font-weight: normal;
16 font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular; 16 font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular;
17 text-decoration: none; 17 text-decoration: none;
18 } 18 }
19   19  
20 a:link { color: black; 20 a:link { color: black;
21 font-size: 76%; 21 font-size: 76%;
22 } 22 }
23 a:visited { color: black; 23 a:visited { color: black;
24 font-size: 76%; 24 font-size: 76%;
25 } 25 }
26   26  
27 HR { color: #8c0000; background-color: #8c0000 } 27 HR { color: #8c0000; background-color: #8c0000 }
28   28  
29 .highlight { color: #8c0000; font-style: italic; } 29 .highlight { color: #8c0000; font-style: italic; }
30   30  
31 TABLE.bordered, TABLE.outlined, TABLE.blame 31 TABLE.bordered, TABLE.outlined, TABLE.blame
32 { 32 {
33 border-collapse: collapse; 33 border-collapse: collapse;
34 border: solid 2px #8c0000; 34 border: solid 2px #8c0000;
35 } 35 }
36   36  
37 .bordered TD, .bordered TH 37 .bordered TD, .bordered TH
38 { 38 {
39 border: solid 2px #8c0000; 39 border: solid 2px #8c0000;
40 } 40 }
41   41  
42 .outlined TH, .blame TH 42 .outlined TH, .blame TH
43 { 43 {
44 padding: 5px 5px 5px 5px; 44 padding: 5px 5px 5px 5px;
45 font-weight: bold; 45 font-weight: bold;
46 border: solid 2px #8c0000; 46 border: solid 2px #8c0000;
47 } 47 }
48   48  
49 .outlined TD, .blame TD 49 .outlined TD, .blame TD
50 { 50 {
51 padding: 1px 5px 1px 5px; 51 padding: 1px 5px 1px 5px;
52 border-right: solid 2px #8c0000; 52 border-right: solid 2px #8c0000;
53 border-bottom: solid 1px #F0F0F0; 53 border-bottom: solid 1px #F0F0F0;
54 } 54 }
55   55  
56 .blame TD 56 .blame TD
57 { 57 {
58 font-size: 11px; 58 font-size: 11px;
59 } 59 }
60   60  
61 .blame TD A 61 .blame TD A
62 { 62 {
63 font-size: 100%; 63 font-size: 100%;
64 } 64 }
65   65  
66 TD.diffdeleted 66 TD.diffdeleted
67 { 67 {
68 font-size: 11px; 68 font-size: 11px;
69 background-color: red; 69 background-color: red;
70 } 70 }
71   71  
72 TD.diffchanged 72 TD.diffchanged
73 { 73 {
74 font-size: 11px; 74 font-size: 11px;
75 background-color: yellow; 75 background-color: yellow;
76 } 76 }
77   77  
78 TD.diffadded 78 TD.diffadded
79 { 79 {
80 font-size: 11px; 80 font-size: 11px;
81 background-color: green; 81 background-color: green;
82 } 82 }
83   83  
84 TD.diff 84 TD.diff
85 { 85 {
86 font-size: 11px; 86 font-size: 11px;
87 background-color: #D0D0D0; 87 background-color: #D0D0D0;
88 } 88 }
89   89  
90 TABLE.diff 90 TABLE.diff
91 { 91 {
92 border-collapse: collapse; 92 border-collapse: collapse;
93 } 93 }
94   94  
95 DIV.newpath 95 DIV.newpath
96 { 96 {
97 padding: 5px 5px 5px 5px; 97 padding: 5px 5px 5px 5px;
98 border: solid 2px #8c0000; 98 border: solid 2px #8c0000;
99 } 99 }
100   100  
101 .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; } 101 .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; }
102 .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; } 102 .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; }
103   103  
104 .groupname { padding-left: 0px; text-indent: -25px; margin: 8px 0 3px 0;} 104 .groupname { padding-left: 0px; text-indent: -25px; margin: 8px 0 3px 0;}
105 .switchcontent { margin: 3px 0 0 20px; } 105 .switchcontent { margin: 3px 0 0 20px; }
106   106  
107 code { white-space: pre-wrap; } 107 code { white-space: pre-wrap; }