-
Notifications
You must be signed in to change notification settings - Fork 1
/
jsxgraph.css
144 lines (117 loc) · 3.27 KB
/
jsxgraph.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
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
/*
Copyright 2008-2021
Matthias Ehmann,
Michael Gerhaeuser,
Carsten Miller,
Bianca Valentin,
Andreas Walter,
Alfred Wassermann,
Peter Wilfahrt
This file is part of JSXGraph.
JSXGraph is free software dual licensed under the GNU LGPL or MIT License.
You can redistribute it and/or modify it under the terms of the
* GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version
OR
* MIT License: https://github.com/jsxgraph/jsxgraph/blob/master/LICENSE.MIT
JSXGraph 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 Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License and
the MIT License along with JSXGraph. If not, see <http://www.gnu.org/licenses/>
and <http://opensource.org/licenses/MIT/>.
*/
.jxgbox {
/* for IE 7 */
position: relative;
overflow: hidden;
background-color: #fff;
border-style: solid;
border-width: 1px;
border-color: #356aa0;
border-radius: 10px;
margin: 0px;
-webkit-border-radius: 10px;
-ms-touch-action: none;
/* touch-action: none; */ /* Set with JavaScript */
}
.jxgbox svg text {
cursor: default;
-webkit-user-select: none;
-moz-user-select: none;
-ms-user-select: none;
user-select: none;
}
.JXGtext {
font-family: Courier, monospace;
/**
* The default font family is now set in
* JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
*/
/* font-family: Arial, Helvetica, Geneva, sans-serif; */
/* "background-color: transparent;" may produce artefacts in IE. Solution: setting a color explicitly. */
background-color: transparent;
/*background-color: rgba(255, 255, 255, 0.6);*/ /* From 1.2.4 */
padding: 0;
margin: 0;
}
.JXGinfobox {
border-style: none;
border-width: 0px;
border-color: black;
}
/* CSS attributes will (permantely) overwrite attributes set in JSXGraph */
.JXGimage {
/* opacity: 1.0; */
}
.JXGimageHighlight {
/* opacity: 0.6; */
}
/* CSS rules for the navigation bar */
.JXG_navigation {
position: absolute;
right: 5px;
bottom: 5px;
z-index: 100;
background-color: transparent;
padding: 2px;
font-size: 14px;
cursor: pointer;
}
.JXG_navigation:hover {
}
.JXG_navigation_button {
color: #666;
}
.JXG_navigation_button:hover {
border-radius: 2px;
background-color: #c0c0c0;
background: rgba(184, 184, 184, 0.5);
}
/* CSS rules for the wrapping div in fullscreen mode */
.JXG_wrap_private:-moz-full-screen {
background-color: #ccc;
padding: 0;
width: 100%;
height: 100%;
}
.JXG_wrap_private:-webkit-full-screen {
background-color: #ccc;
padding: 0;
width: 100%;
height: 100%;
}
.JXG_wrap_private:fullscreen {
background-color: #ccc;
padding: 0;
width: 100%;
height: 100%;
}
.JXG_wrap_private:-ms-fullscreen {
background-color: #ccc;
padding: 0;
width: 100%;
height: 100%;
}