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