Subversion Repositories wimsdev

Rev

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

Rev Author Line No. Line
4897 bpr 1
/*
16489 obado 2
    Copyright 2008-2022
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
29
    the MIT License along with JSXGraph. If not, see <http://www.gnu.org/licenses/>
30
    and <http://opensource.org/licenses/MIT/>.
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;
16489 obado 42
    margin: 0;
10963 obado 43
    -webkit-border-radius: 10px;
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
}
79
.JXGimageHighlight {
80
    /* opacity: 0.6; */
81
}
82
 
16489 obado 83
.jxgbox :focus {
84
    outline-width: 0.5px;
85
    outline-style: dotted;
86
}
15332 obado 87
 
16489 obado 88
/* CSS rules for the navigation bar */
15332 obado 89
.JXG_navigation {
90
    position: absolute;
91
    right: 5px;
92
    bottom: 5px;
93
 
94
    z-index: 100;
95
 
96
    background-color: transparent;
97
    padding: 2px;
98
    font-size: 14px;
99
    cursor: pointer;
100
}
101
 
102
.JXG_navigation_button {
16489 obado 103
    color: #666;
15332 obado 104
}
105
 
106
.JXG_navigation_button:hover {
107
    border-radius: 2px;
16489 obado 108
    background: rgba(184, 184, 184, 0.5);
15332 obado 109
}
110
 
16489 obado 111
/* CSS rules for the wrapping div in fullscreen mode */
15332 obado 112
 
113
.JXG_wrap_private:-moz-full-screen {
16489 obado 114
    background-color: #ccc;
115
    padding: 0;
116
    width: 100%;
117
    height: 100%;
15332 obado 118
}
119
 
120
.JXG_wrap_private:-webkit-full-screen {
16489 obado 121
    background-color: #ccc;
122
    padding: 0;
123
    width: 100%;
124
    height: 100%;
15332 obado 125
}
126
 
127
.JXG_wrap_private:fullscreen {
16489 obado 128
    background-color: #ccc;
129
    padding: 0;
130
    width: 100%;
131
    height: 100%;
15332 obado 132
}
133
 
134
.JXG_wrap_private:-ms-fullscreen {
16489 obado 135
    background-color: #ccc;
136
    padding: 0;
137
    width: 100%;
138
    height: 100%;
15332 obado 139
}