src/log2xml/logfile.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105

body
{
    font-family: sans-serif;
    background: white;
}


td.line
{
    width: 100%;
}


blockquote.body
{
    padding: 6px 0px;
    margin: 0px 1px;
}


table.x, tr.x
{
    border-collapse: separate;
    border-spacing: 0pt;
    margin: 0em 0em 0em 0em;
    padding: 0em 0em 0em 0em;
}


tr.x > td.dummy
{
    vertical-align: top;
    margin: 0em 0em 0em 0em;
    padding: 0.5em 0em 0em 0em;
    border-left: 3px solid #6185a0;
}


tr.x > td.dummy > div.dummy
{
    width: 1.5em;
    height: 3px;
    margin: 0em 0em 0em 0em;
    border-top: 3px solid #6185a0;
}


table.y, tr.y
{
    border-collapse: separate;
    border-spacing: 0pt;
    margin: 0em 0em 0em 0em;
    padding: 0em 0em 0em 0em;
}


tr.y > td.dummy
{
    vertical-align: top;
    margin: 0em 0em 0em 0em;
    padding: 0em 0em 0em 0em;
}


tr.y > td.dummy > div.dummy
{
    width: 1.5em;
    height: 6px;
    margin: 0em 0em 0em 0em;
    border-left: 3px solid #6185a0;
    border-bottom: 3px solid #6185a0;
}


em.storeref
{
    color: #500000;
    position: relative; 
    width: 100%;
}


em.storeref:hover
{
    background-color: #eeeeee;
}


*.popup {
    display: none;
/*    background: url('http://losser.st-lab.cs.uu.nl/~mbravenb/menuback.png') repeat; */
    background: #ffffcd;
    border: solid #555555 1px;
    position: absolute;
    top: 1.5em;
    left: 0.5em;
    margin: 0;
    padding: 0;
    z-index: 100;
}


em.storeref:hover span.popup {
    display: inline;
}