Subversion Repositories wimsdev

Rev

Rev 14118 | Rev 16489 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
4897 bpr 1
/*
15332 obado 2
    Copyright 2008-2020
10963 obado 3
        Matthias Ehmann,
4
        Michael Gerhaeuser,
5
        Carsten Miller,
6
        Bianca Valentin,
7
        Alfred Wassermann,
8
        Peter Wilfahrt
9
 
10
    This file is part of JSXGraph.
11
 
12
    JSXGraph is free software dual licensed under the GNU LGPL or MIT License.
13
 
14
    You can redistribute it and/or modify it under the terms of the
15
 
16
      * GNU Lesser General Public License as published by
17
        the Free Software Foundation, either version 3 of the License, or
18
        (at your option) any later version
19
      OR
20
      * MIT License: https://github.com/jsxgraph/jsxgraph/blob/master/LICENSE.MIT
21
 
22
    JSXGraph is distributed in the hope that it will be useful,
23
    but WITHOUT ANY WARRANTY; without even the implied warranty of
24
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
25
    GNU Lesser General Public License for more details.
26
 
27
    You should have received a copy of the GNU Lesser General Public License and
28
    the MIT License along with JSXGraph. If not, see <http://www.gnu.org/licenses/>
29
    and <http://opensource.org/licenses/MIT/>.
30
 */
31
 
4897 bpr 32
.jxgbox {
10963 obado 33
    /* for IE 7 */
34
    position: relative;
35
    overflow: hidden;
36
    background-color: #ffffff;
37
    border-style: solid;
38
    border-width: 1px;
39
    border-color: #356AA0;
40
    border-radius: 10px;
41
    -webkit-border-radius: 10px;
42
    -ms-touch-action: none;
14118 obado 43
    /* touch-action: none; */ /* Set with JavaScript */
4897 bpr 44
}
45
 
14118 obado 46
.jxgbox svg text {
47
    cursor: default;
48
    -webkit-user-select: none;
49
    -moz-user-select: none;
50
    -ms-user-select: none;
51
    user-select: none;
52
}
53
 
4897 bpr 54
.JXGtext {
15332 obado 55
    font-family: Courier, monospace;
56
    /**
57
     * The default font family is now set in
14118 obado 58
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
59
     */
15332 obado 60
    /*
61
        font-family: Arial, Helvetica, Geneva, sans-serif;
14118 obado 62
    */
15332 obado 63
 
14118 obado 64
    /* "background-color: transparent;" may produce artefacts in IE. Solution: setting a color explicitly. */
10963 obado 65
    background-color: transparent;
66
    padding: 0;
67
    margin: 0;
4897 bpr 68
}
69
 
10963 obado 70
.JXGinfobox {
71
    border-style: none;
72
    border-width: 1px;
73
    border-color: black;
4897 bpr 74
}
75
 
15332 obado 76
/*
77
    CSS attributes will (permantely) overwrite attributes set in JSXGraph
78
*/
10963 obado 79
.JXGimage {
80
    /* opacity: 1.0; */
81
}
82
 
83
.JXGimageHighlight {
84
    /* opacity: 0.6; */
85
}
86
 
15332 obado 87
/*
88
    CSS rules for the navigation bar
89
*/
90
 
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:hover {
105
 
106
}
107
 
108
.JXG_navigation_button {
109
    color: #666666;
110
}
111
 
112
.JXG_navigation_button:hover {
113
    border-radius: 2px;
114
    background-color: #c0c0c0;
115
    background-color: rgba(184, 184, 184, 0.5);
116
}
117
 
118
/*
119
    CSS rules for the wrapping div in fullscreen mode
120
*/
121
 
122
.JXG_wrap_private:-moz-full-screen {
123
   background-color: #cccccc;
124
   padding: 0px;
125
   width: 100%;
126
   height: 100%;
127
}
128
 
129
.JXG_wrap_private:-webkit-full-screen {
130
   background-color: #cccccc;
131
   padding: 0px;
132
   width: 100%;
133
   height: 100%;
134
}
135
 
136
.JXG_wrap_private:fullscreen {
137
   background-color: #cccccc;
138
   padding: 0px;
139
   width: 100%;
140
   height: 100%;
141
}
142
 
143
.JXG_wrap_private:-ms-fullscreen {
144
   background-color: #cccccc;
145
   padding: 0px;
146
   width: 100%;
147
   height: 100%;
148
}