Subversion Repositories wimsdev

Rev

Rev 16489 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
4897 bpr 1
/*
18584 obado 2
    Copyright 2008-2025
10963 obado 3
        Matthias Ehmann,
4
        Michael Gerhaeuser,
5
        Carsten Miller,
6
        Bianca Valentin,
16489 obado 7
        Andreas Walter,
10963 obado 8
        Alfred Wassermann,
9
        Peter Wilfahrt
10
 
11
    This file is part of JSXGraph.
12
 
13
    JSXGraph is free software dual licensed under the GNU LGPL or MIT License.
14
 
15
    You can redistribute it and/or modify it under the terms of the
16
 
17
      * GNU Lesser General Public License as published by
18
        the Free Software Foundation, either version 3 of the License, or
19
        (at your option) any later version
20
      OR
21
      * MIT License: https://github.com/jsxgraph/jsxgraph/blob/master/LICENSE.MIT
22
 
23
    JSXGraph is distributed in the hope that it will be useful,
24
    but WITHOUT ANY WARRANTY; without even the implied warranty of
25
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
26
    GNU Lesser General Public License for more details.
27
 
28
    You should have received a copy of the GNU Lesser General Public License and
18584 obado 29
    the MIT License along with JSXGraph. If not, see <https://www.gnu.org/licenses/>
30
    and <https://opensource.org/licenses/MIT/>.
10963 obado 31
 */
32
 
4897 bpr 33
.jxgbox {
10963 obado 34
    /* for IE 7 */
35
    position: relative;
36
    overflow: hidden;
16489 obado 37
    background-color: #fff;
10963 obado 38
    border-style: solid;
39
    border-width: 1px;
16489 obado 40
    border-color: #356aa0;
10963 obado 41
    border-radius: 10px;
18584 obado 42
    -webkit-border-radius: 10px;
16489 obado 43
    margin: 0;
10963 obado 44
    -ms-touch-action: none;
16489 obado 45
    /* "touch-action: none;" is set with JavaScript. */
4897 bpr 46
}
47
 
14118 obado 48
.jxgbox svg text {
49
    cursor: default;
50
    -webkit-user-select: none;
51
    -moz-user-select: none;
52
    -ms-user-select: none;
53
    user-select: none;
54
}
55
 
4897 bpr 56
.JXGtext {
15332 obado 57
    font-family: Courier, monospace;
16489 obado 58
    /*
15332 obado 59
     * The default font family is now set in
14118 obado 60
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
61
     */
15332 obado 62
 
14118 obado 63
    /* "background-color: transparent;" may produce artefacts in IE. Solution: setting a color explicitly. */
10963 obado 64
    background-color: transparent;
65
    padding: 0;
66
    margin: 0;
4897 bpr 67
}
68
 
10963 obado 69
.JXGinfobox {
70
    border-style: none;
16489 obado 71
    border-width: 0;
10963 obado 72
    border-color: black;
4897 bpr 73
}
74
 
16489 obado 75
/* CSS attributes will (permantely) overwrite attributes set in JSXGraph */
10963 obado 76
.JXGimage {
77
    /* opacity: 1.0; */
78
}
18584 obado 79
 
10963 obado 80
.JXGimageHighlight {
81
    /* opacity: 0.6; */
82
}
83
 
16489 obado 84
.jxgbox :focus {
85
    outline-width: 0.5px;
86
    outline-style: dotted;
87
}
15332 obado 88
 
16489 obado 89
/* CSS rules for the navigation bar */
18584 obado 90
 
15332 obado 91
.JXG_navigation {
92
    position: absolute;
93
    right: 5px;
94
    bottom: 5px;
95
 
96
    z-index: 100;
97
 
98
    background-color: transparent;
99
    padding: 2px;
100
    font-size: 14px;
101
    cursor: pointer;
102
}
103
 
104
.JXG_navigation_button {
16489 obado 105
    color: #666;
15332 obado 106
}
107
 
18584 obado 108
.JXG_navigation_button_left {
109
}
110
 
111
.JXG_navigation_button_right {
112
}
113
 
114
.JXG_navigation_button_up {
115
}
116
 
117
.JXG_navigation_button_down {
118
}
119
 
120
.JXG_navigation_button_out {
121
}
122
 
123
.JXG_navigation_button_100 {
124
}
125
 
126
.JXG_navigation_button_in {
127
}
128
 
129
.JXG_navigation_button_fullscreen {
130
}
131
 
132
.JXG_navigation_button_reload {
133
}
134
 
135
.JXG_navigation_button_cleartraces {
136
}
137
 
138
.JXG_navigation_button_screenshot {
139
}
140
 
15332 obado 141
.JXG_navigation_button:hover {
142
    border-radius: 2px;
16489 obado 143
    background: rgba(184, 184, 184, 0.5);
15332 obado 144
}
145
 
18584 obado 146
.JXG_navigation_button svg {
147
    top: 0.2em;
148
    position: relative;
149
    padding: 0;
150
}
151
 
16489 obado 152
/* CSS rules for the wrapping div in fullscreen mode */
15332 obado 153
 
154
.JXG_wrap_private:-moz-full-screen {
16489 obado 155
    background-color: #ccc;
156
    padding: 0;
157
    width: 100%;
158
    height: 100%;
15332 obado 159
}
160
 
161
.JXG_wrap_private:-webkit-full-screen {
16489 obado 162
    background-color: #ccc;
163
    padding: 0;
164
    width: 100%;
165
    height: 100%;
15332 obado 166
}
167
 
168
.JXG_wrap_private:fullscreen {
16489 obado 169
    background-color: #ccc;
170
    padding: 0;
171
    width: 100%;
172
    height: 100%;
15332 obado 173
}
174
 
175
.JXG_wrap_private:-ms-fullscreen {
16489 obado 176
    background-color: #ccc;
177
    padding: 0;
178
    width: 100%;
179
    height: 100%;
15332 obado 180
}
18584 obado 181
 
182
/* Classes forn smartlabels */
183
 
184
.smart-label-solid {
185
    padding: 1px 7px 1px 7px;
186
    margin: 0;
187
    color: white;
188
    border-radius: 150px;
189
    text-align: center;
190
    vertical-align: middle;
191
}
192
 
193
.smart-label-outline {
194
    padding: 1px 7px 1px 7px;
195
    margin: 0;
196
    border: solid 2px black;
197
    background-color: white;
198
    color: black;
199
    border-radius: 15px;
200
    text-align: center;
201
    vertical-align: middle;
202
}
203
 
204
.smart-label-pure {
205
    padding: 20px 7px 1px 7px;
206
    margin: 0;
207
    border: none;
208
    background-color: transparent;
209
    color: black;
210
    border-radius: 15px;
211
    text-align: center;
212
    vertical-align: middle;
213
}
214
 
215
.smart-label-line,
216
.smart-label-point {
217
    background-color: #0072b2;
218
    border-color: #0072b2;
219
}
220
 
221
.smart-label-point {
222
    margin-top: 12px;
223
}
224
 
225
.smart-label-angle {
226
    background-color: #e69f00;
227
    border-color: #e69f00;
228
    padding: 1px 7px 1px 7px;
229
}
230
 
231
.smart-label-polygon,
232
.smart-label-circle {
233
    background-color: #f0e442;
234
    color: black;
235
    border-color: #f0e442;
236
    padding: 1px 7px 1px 7px;
237
}