righelli/righelli.css at master · ventuno/righelli · GitHub

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
/*
    This file is part of Righelli.

    Righelli is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    Righelli is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with Righelli.  If not, see <http://www.gnu.org/licenses/>.
*/

div.source,
div.ruler {
    z-index: 9999;
}

div.highlightsurface {
    position: fixed;
    z-index: 10000;
    background-color: rgba(255, 0, 0, 0.5);
    visibility: hidden;
}

div.highlightsurfaceLocationInfo {
    position: absolute;
    min-width: 90px;

    margin: auto;
    color: black;
    background-color: yellow;
    font-size: 12px;
    text-align: center;
    display: table-cell;
}

div.highlightsurfaceLocationInfo > span {
    vertical-align: middle;
}

span.highlightsurfaceLocationInfoValue {
    color: black;
}

span.highlightsurfaceLocationInfoMultSign,
span.highlightsurfaceLocationInfoUnit {
    color: gray;
}

div.source {
    position: fixed;
    top: 0;
    left: 0;
    background-color: red;
}

div.verticalSource {
    width: 15px;
    height: 100%;

}

div.horizontalSource {
    width: 100%;
    height: 15px;
}

div.ruler {
    position: fixed;
    background-color: transparent;
}

div.realRuler {
    position: absolute;
    background-color: red;
}

div.verticalRuler > div.realRuler {
    left: 50%;
    width: 1px;
    height: 100%;
}

div.horizontalRuler > div.realRuler {
    top: 50%;
    width: 100%;
    height: 1px;
}

div.verticalRuler {
    left: 0px;
    top: 0px;
    width: 10px;
    height: 100%;
}

div.horizontalRuler {
    height: 10px;
    width: 100%;
}