Rev Author Line No. Line
185 miho 1 body
2 {
139 root 3 font-family: verdana, sans-serif;
185 miho 4 color: black;
5 background-color: white
139 root 6 }
7 body *
8 {
9 font-size: 10pt;
10 }
11 h1
12 {
13 font-size: 150%;
14 }
15 h2
16 {
17 font-size: 125%;
18 }
19 hr
185 miho 20 {
21 border: 0px;
22 padding: 0px;
23 height: 1px;
24 background-color: #808080
25 }
139 root 26 a:link, a:visited
27 {
28 color: #004080;
29 text-decoration: none;
30 }
31 a:hover, a:active
32 {
33 text-decoration: underline;
34 }
35 .HdrClmn,
36 .HdrClmnEnd
37 {
185 miho 38 border: black 1px solid;
39 font-weight: bold;
40 color: white;
139 root 41 background-color: #809cc8
185 miho 42 }
139 root 43 table
44 {
45 border-width:0px;
46 border-collapse:collapse;
185 miho 47 }
139 root 48 .row0,
49 .row1
50 {
51 height:22px;
52 border-width:0px;
53 }
54 .row0 img,
55 .row1 img {
56 padding: 0px;
57 margin: 0px;
58 vertical-align:middle;
185 miho 59 }
60 .row0
61 {
62 background-color: #f0f0f0;
63 }
64 .row1
65 {
66 background-color: #e0e0e0;
67 }
68  
139 root 69 .CatClmn0
185 miho 70 {
71 border-right: black 1px solid;
72 background-color: #e0e0ff
73 }
139 root 74  
75 .CatClmn1
185 miho 76 {
77 border-right: black 1px solid;
78 background-color: #d0d0ee
79 }
80  
139 root 81 table.outline
82 {
83 border-collapse:collapse;
84 border: 1px black solid;
85 }
86  
185 miho 87 td.diffdeleted
88 {
89 font-size: 11px;
90 background-color: #ff8888;
91 }
92  
93 td.diffchanged
94 {
95 font-size: 11px;
96 background-color: #ffff88;
97 }
98  
99 td.diffadded
100 {
101 font-size: 11px;
102 background-color: #88ff88;
103 }
104  
105 td.diff
106 {
107 font-size: 11px;
108 background-color: #F0F0F0;
109 }
110  
111 div.newpath
112 {
113 padding: 10px;
114 background-color: #d0d0ee
115 }
116  
117 div.difflines
118 {
119 }
120  
121 .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; }
122 .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: #809cc8; text-align: center; padding: 0px 2px 0px 3px; border: black solid 1px; margin-right: 5px; }
123  
124 .groupname { padding-left: 0px; text-indent: -25px; margin: 3px 0 3px 0;}
125 .switchcontent { margin: 3px 0 0 20px; }
126 .project { padding: 2px; }
127  
139 root 128 code
129 {
130 white-space: pre-wrap;
131 }