Rev 171 Rev 172
1 body 1 body
2 { 2 {
3 font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular, sans-serif; 3 font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular, sans-serif;
4 background-color: white; 4 background-color: white;
5 margin: 20px; 5 margin: 20px;
6 padding: 0px 6 padding: 0px
7 } 7 }
8   8  
9 h1 9 h1
10 { 10 {
11 color: #99007E; 11 color: #99007E;
12 font-size: 30px; 12 font-size: 30px;
13 font-weight: normal; 13 font-weight: normal;
14 font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular, sans-serif; 14 font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular, sans-serif;
15 text-decoration: none; 15 text-decoration: none;
16 } 16 }
17   17  
18 hr { color: #99007E; background-color: #99007E } 18 hr { color: #99007E; background-color: #99007E }
19   19  
20 .highlight { color: #99007E; font-style: italic; } 20 .highlight { color: #99007E; font-style: italic; }
21   21  
22 table.bordered, table.outlined, table.blame 22 table.bordered, table.outlined, table.blame
23 { 23 {
24 border-collapse: collapse; 24 border-collapse: collapse;
25 border: solid 2px #99007E; 25 border: solid 2px #99007E;
26 } 26 }
27   27  
28 .bordered td, .bordered th 28 .bordered td, .bordered th
29 { 29 {
30 border: solid 2px #99007E; 30 border: solid 2px #99007E;
31 } 31 }
32   32  
33 .outlined td 33 .outlined td
34 { 34 {
35 padding: 0px 5px 0px 5px; 35 padding: 0px 5px 0px 5px;
36 } 36 }
37   37  
38 .outlined th, .blame th 38 .outlined th, .blame th
39 { 39 {
40 padding: 5px 5px 5px 5px; 40 padding: 5px 5px 5px 5px;
41 font-weight: bold; 41 font-weight: bold;
42 border: solid 2px #99007E; 42 border: solid 2px #99007E;
43 } 43 }
44   44  
45 .outlined td, .blame td 45 .outlined td, .blame td
46 { 46 {
47 padding: 1px 5px 1px 5px; 47 padding: 1px 5px 1px 5px;
48 border-right: solid 2px #99007E; 48 border-right: solid 2px #99007E;
49 border-bottom: solid 1px #F0F0F0; 49 border-bottom: solid 1px #F0F0F0;
50 } 50 }
51   51  
52 td.diffdeleted 52 td.diffdeleted
53 { 53 {
54 font-size: 11px; 54 font-size: 11px;
55 background-color: red; 55 background-color: red;
56 } 56 }
57   57  
58 td.diffchanged 58 td.diffchanged
59 { 59 {
60 font-size: 11px; 60 font-size: 11px;
61 background-color: yellow; 61 background-color: yellow;
62 } 62 }
63   63  
64 td.diffadded 64 td.diffadded
65 { 65 {
66 font-size: 11px; 66 font-size: 11px;
67 background-color: green; 67 background-color: green;
68 } 68 }
69   69  
70 td.diff 70 td.diff
71 { 71 {
72 font-size: 11px; 72 font-size: 11px;
73 background-color: #D0D0D0; 73 background-color: #D0D0D0;
74 } 74 }
75   75  
76 table.diff 76 table.diff
77 { 77 {
78 border-collapse: collapse; 78 border-collapse: collapse;
79 } 79 }
80   80  
81 div.newpath 81 div.newpath
82 { 82 {
83 padding: 5px 5px 5px 5px; 83 padding: 5px 5px 5px 5px;
84 border: solid 2px #99007E; 84 border: solid 2px #99007E;
85 } 85 }
86   86  
87 .plusbox { 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: #D0D0D0; text-align: center; padding: 0px 2px 0px 3px; border: black solid 1px; margin-right: 5px; } 87 .plusbox { 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: #D0D0D0; text-align: center; padding: 0px 2px 0px 3px; border: black solid 1px; margin-right: 5px; }
88 .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: #99007E; text-align: center; padding: 0px 2px 0px 3px; border: black solid 1px; margin-right: 5px; } 88 .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: #99007E; text-align: center; padding: 0px 2px 0px 3px; border: black solid 1px; margin-right: 5px; }
89   89  
90 .groupname { padding-left: 0px; text-indent: -25px; margin: 3px 0 3px 0;} 90 .groupname { padding-left: 0px; text-indent: -25px; margin: 3px 0 3px 0;}
91 .switchcontent { margin: 3px 0 0 20px; } 91 .switchcontent { margin: 3px 0 0 20px; }
92   92  
93 code { white-space: pre-wrap; } 93 code { white-space: pre-wrap; }