Subversion Repositories wimsdev

Rev

Rev 16489 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16489 Rev 18584
Line 1... Line 1...
1 
/*
 1 
/*
2 
    Copyright 2008-2022
 2 
    Copyright 2008-2025
3 
        Matthias Ehmann,
 3 
        Matthias Ehmann,
4 
        Michael Gerhaeuser,
 4 
        Michael Gerhaeuser,
5 
        Carsten Miller,
 5 
        Carsten Miller,
6 
        Bianca Valentin,
 6 
        Bianca Valentin,
7 
        Andreas Walter,
 7 
        Andreas Walter,
Line 24... Line 24...
24 
    but WITHOUT ANY WARRANTY; without even the implied warranty of
 24 
    but WITHOUT ANY WARRANTY; without even the implied warranty of
25 
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 25 
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
26 
    GNU Lesser General Public License for more details.
 26 
    GNU Lesser General Public License for more details.
27 
 
 27 
 
28 
    You should have received a copy of the GNU Lesser General Public License and
 28 
    You should have received a copy of the GNU Lesser General Public License and
29 
    the MIT License along with JSXGraph. If not, see <http://www.gnu.org/licenses/>
 29 
    the MIT License along with JSXGraph. If not, see <https://www.gnu.org/licenses/>
30 
    and <http://opensource.org/licenses/MIT/>.
 30 
    and <https://opensource.org/licenses/MIT/>.
31 
 */
 31 
 */
32 
 
 32 
 
33 
.jxgbox {
 33 
.jxgbox {
34 
    /* for IE 7 */
 34 
    /* for IE 7 */
35 
    position: relative;
 35 
    position: relative;
Line 37... Line 37...
37 
    background-color: #fff;
 37 
    background-color: #fff;
38 
    border-style: solid;
 38 
    border-style: solid;
39 
    border-width: 1px;
 39 
    border-width: 1px;
40 
    border-color: #356aa0;
 40 
    border-color: #356aa0;
41 
    border-radius: 10px;
 41 
    border-radius: 10px;
- 
 
 42 
    -webkit-border-radius: 10px;
42 
    margin: 0;
 43 
    margin: 0;
43 
    -webkit-border-radius: 10px;
 - 
 
44 
    -ms-touch-action: none;
 44 
    -ms-touch-action: none;
45 
    /* "touch-action: none;" is set with JavaScript. */
 45 
    /* "touch-action: none;" is set with JavaScript. */
46 
}
 46 
}
47 
 
 47 
 
48 
.jxgbox svg text {
 48 
.jxgbox svg text {
49 
    cursor: default;
 49 
    cursor: default;
50 
    -webkit-user-select: none;
 50 
    -webkit-user-select: none;
51 
    -moz-user-select: none;
 51 
    -moz-user-select: none;
52 
    -ms-user-select: none;
 52 
    -ms-user-select: none;
53 
    user-select: none;
 53 
    user-select: none;
54 
}
 54 
}
55 
 
 55 
 
56 
.JXGtext {
 56 
.JXGtext {
57 
    font-family: Courier, monospace;
 57 
    font-family: Courier, monospace;
58 
    /*
 58 
    /*
59 
     * The default font family is now set in
 59 
     * The default font family is now set in
60 
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
 60 
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
61 
     */
 61 
     */
62 
 
 62 
 
63 
    /* "background-color: transparent;" may produce artefacts in IE. Solution: setting a color explicitly. */
 63 
    /* "background-color: transparent;" may produce artefacts in IE. Solution: setting a color explicitly. */
64 
    background-color: transparent;
 64 
    background-color: transparent;
65 
    padding: 0;
 65 
    padding: 0;
66 
    margin: 0;
 66 
    margin: 0;
67 
}
 67 
}
68 
 
 68 
 
69 
.JXGinfobox {
 69 
.JXGinfobox {
70 
    border-style: none;
 70 
    border-style: none;
71 
    border-width: 0;
 71 
    border-width: 0;
72 
    border-color: black;
 72 
    border-color: black;
73 
}
 73 
}
74 
 
 74 
 
75 
/* CSS attributes will (permantely) overwrite attributes set in JSXGraph */
 75 
/* CSS attributes will (permantely) overwrite attributes set in JSXGraph */
76 
.JXGimage {
 76 
.JXGimage {
77 
    /* opacity: 1.0; */
 77 
    /* opacity: 1.0; */
78 
}
 78 
}
- 
 
 79 
 
79 
.JXGimageHighlight {
 80 
.JXGimageHighlight {
80 
    /* opacity: 0.6; */
 81 
    /* opacity: 0.6; */
81 
}
 82 
}
82 
 
 83 
 
83 
.jxgbox :focus {
 84 
.jxgbox :focus {
84 
    outline-width: 0.5px;
 85 
    outline-width: 0.5px;
85 
    outline-style: dotted;
 86 
    outline-style: dotted;
86 
}
 87 
}
87 
 
 88 
 
88 
/* CSS rules for the navigation bar */
 89 
/* CSS rules for the navigation bar */
- 
 
 90 
 
89 
.JXG_navigation {
 91 
.JXG_navigation {
90 
    position: absolute;
 92 
    position: absolute;
91 
    right: 5px;
 93 
    right: 5px;
92 
    bottom: 5px;
 94 
    bottom: 5px;
93 
 
 95 
 
Line 99... Line 101...
99 
    cursor: pointer;
 101 
    cursor: pointer;
100 
}
 102 
}
101 
 
 103 
 
102 
.JXG_navigation_button {
 104 
.JXG_navigation_button {
103 
    color: #666;
 105 
    color: #666;
- 
 
 106 
}
- 
 
 107 
 
- 
 
 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 {
104 
}
 139 
}
105 
 
 140 
 
106 
.JXG_navigation_button:hover {
 141 
.JXG_navigation_button:hover {
107 
    border-radius: 2px;
 142 
    border-radius: 2px;
108 
    background: rgba(184, 184, 184, 0.5);
 143 
    background: rgba(184, 184, 184, 0.5);
109 
}
 144 
}
110 
 
 145 
 
- 
 
 146 
.JXG_navigation_button svg {
- 
 
 147 
    top: 0.2em;
- 
 
 148 
    position: relative;
- 
 
 149 
    padding: 0;
- 
 
 150 
}
- 
 
 151 
 
111 
/* CSS rules for the wrapping div in fullscreen mode */
 152 
/* CSS rules for the wrapping div in fullscreen mode */
112 
 
 153 
 
113 
.JXG_wrap_private:-moz-full-screen {
 154 
.JXG_wrap_private:-moz-full-screen {
114 
    background-color: #ccc;
 155 
    background-color: #ccc;
115 
    padding: 0;
 156 
    padding: 0;
116 
    width: 100%;
 157 
    width: 100%;
117 
    height: 100%;
 158 
    height: 100%;
118 
}
 159 
}
119 
 
 160 
 
120 
.JXG_wrap_private:-webkit-full-screen {
 161 
.JXG_wrap_private:-webkit-full-screen {
121 
    background-color: #ccc;
 162 
    background-color: #ccc;
122 
    padding: 0;
 163 
    padding: 0;
123 
    width: 100%;
 164 
    width: 100%;
124 
    height: 100%;
 165 
    height: 100%;
125 
}
 166 
}
126 
 
 167 
 
127 
.JXG_wrap_private:fullscreen {
 168 
.JXG_wrap_private:fullscreen {
128 
    background-color: #ccc;
 169 
    background-color: #ccc;
129 
    padding: 0;
 170 
    padding: 0;
130 
    width: 100%;
 171 
    width: 100%;
131 
    height: 100%;
 172 
    height: 100%;
132 
}
 173 
}
133 
 
 174 
 
134 
.JXG_wrap_private:-ms-fullscreen {
 175 
.JXG_wrap_private:-ms-fullscreen {
135 
    background-color: #ccc;
 176 
    background-color: #ccc;
136 
    padding: 0;
 177 
    padding: 0;
137 
    width: 100%;
 178 
    width: 100%;
138 
    height: 100%;
 179 
    height: 100%;
- 
 
 180 
}
- 
 
 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;
139 
}
 237 
}