| rev |
line source |
|
devi@0
|
1 .cline,.wrong_cline,.interrupted_cline,.output,.wrong_output,.interrupted_output,.tab_cline, ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
|
|
devi@0
|
2 {
|
|
devi@0
|
3 margin : 0px 0px 0px 0px;
|
|
devi@0
|
4 padding : 0px 0px 0px 10px;
|
|
devi@0
|
5 vertical-align : top;
|
|
devi@0
|
6 }
|
|
devi@0
|
7 .cline,.wrong_cline,.interrupted_cline,.tab_cline,._root_cline,.wrong_root_cline,.interrupted_root_cline,.tab_root_cline
|
|
devi@0
|
8 { font-weight : bold; }
|
|
devi@0
|
9 .wrong_output,.wrong_root_output
|
|
devi@0
|
10 { color : #cc6666; }
|
|
devi@0
|
11 .interrupted_output,.interrupted_root_output
|
|
devi@0
|
12 { color : #aaaaaa; }
|
|
devi@0
|
13 .wrong_cline, .wrong_root_cline
|
|
devi@0
|
14 { color : #ee7777; }
|
|
devi@0
|
15 .interrupted_cline, .interrupted_root_cline
|
|
devi@0
|
16 { color : #777777; }
|
|
devi@0
|
17
|
|
devi@0
|
18 ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline
|
|
devi@0
|
19 {
|
|
devi@0
|
20 border-left : #ff0000 solid thin;
|
|
devi@0
|
21
|
|
devi@0
|
22 }
|
|
devi@0
|
23
|
|
devi@0
|
24 .note {
|
|
devi@0
|
25 color : black;
|
|
devi@0
|
26 background : #d8fcff;
|
|
devi@0
|
27 margin : 12px 12px 12px 12px;
|
|
devi@0
|
28 padding : 6px 6px 6px 6px;
|
|
devi@0
|
29 border-style : dashed;
|
|
devi@0
|
30 border-width : thin;
|
|
devi@0
|
31 border-color : #a8eaff;
|
|
devi@0
|
32 vertical-align : top;
|
|
devi@0
|
33 }
|
|
devi@0
|
34
|
|
devi@0
|
35 .note_title,.note_text,.note_search
|
|
devi@0
|
36 {
|
|
devi@0
|
37 color : black;
|
|
devi@0
|
38 margin : 0px 0px 0px 0px;
|
|
devi@0
|
39 padding : 0px 0px 0px 0px;
|
|
devi@0
|
40 vertical-align : top;
|
|
devi@0
|
41 }
|
|
devi@0
|
42 .note_title { font-family : sans-serif; }
|
|
devi@0
|
43 .note_text { font-size : 80%; }
|
|
devi@0
|
44 .note_search { text-align : right; }
|
|
devi@0
|
45
|
|
devi@0
|
46
|
|
devi@0
|
47 .diff {
|
|
devi@0
|
48 color : black;
|
|
devi@0
|
49 background : #fdffcd;
|
|
devi@0
|
50 margin : 16px 16px 16px 16px;
|
|
devi@0
|
51 padding : 6px 6px 6px 6px;
|
|
devi@0
|
52 border-style : dashed;
|
|
devi@0
|
53 border-width : thin;
|
|
devi@0
|
54 }
|
|
devi@0
|
55
|
|
devi@0
|
56 .ttychange {
|
|
devi@0
|
57 color : #9a9a9a;
|
|
devi@0
|
58 background : #e7e7e7;
|
|
devi@0
|
59 margin : 0px 0px 0px 0px;
|
|
devi@0
|
60 padding : 0px 0px 0px 0px;
|
|
devi@0
|
61 vertical-align : top;
|
|
devi@0
|
62 font-family : monospace;
|
|
devi@0
|
63 }
|
|
devi@0
|
64
|
|
devi@0
|
65 .time {
|
|
devi@0
|
66 color : #999999;
|
|
devi@0
|
67 margin : 0px 0px 0px 0px;
|
|
devi@0
|
68 padding : 0px 10px 0px 0px;
|
|
devi@0
|
69 vertical-align : top;
|
|
devi@0
|
70 font-size : 80%;
|
|
devi@0
|
71 vertical-align : top;
|
|
devi@0
|
72 /* border-right : #9a9a9a solid thin; */
|
|
devi@0
|
73 }
|
|
devi@0
|
74
|
|
devi@0
|
75 .script {
|
|
devi@0
|
76 margin : 0px 0px 0px 0px;
|
|
devi@0
|
77 padding : 0px 0px 0px 0px;
|
|
devi@0
|
78 vertical-align : top;
|
|
devi@0
|
79 }
|
|
devi@0
|
80
|
|
devi@0
|
81 .visibility_form {
|
|
devi@0
|
82 color : #9a9a9a;
|
|
devi@0
|
83 background : #e7e7e7;
|
|
devi@0
|
84 margin : 0px 0px 0px 0px;
|
|
devi@0
|
85 padding : 0px 0px 0px 0px;
|
|
devi@0
|
86 vertical-align : top;
|
|
devi@0
|
87 font-size : 80%;
|
|
devi@0
|
88 font-family : sans-serif;
|
|
devi@0
|
89 }
|
