Subversion Repositories wimsdev

Rev

Rev 15332 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 15332 Rev 16489
Line 1... Line 1...
1
/*
1
/*
2
    Copyright 2008-2020
2
    Copyright 2008-2022
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
        Alfred Wassermann,
8
        Alfred Wassermann,
8
        Peter Wilfahrt
9
        Peter Wilfahrt
9
 
10
 
10
    This file is part of JSXGraph.
11
    This file is part of JSXGraph.
11
 
12
 
Line 31... Line 32...
31
 
32
 
32
.jxgbox {
33
.jxgbox {
33
    /* for IE 7 */
34
    /* for IE 7 */
34
    position: relative;
35
    position: relative;
35
    overflow: hidden;
36
    overflow: hidden;
36
    background-color: #ffffff;
37
    background-color: #fff;
37
    border-style: solid;
38
    border-style: solid;
38
    border-width: 1px;
39
    border-width: 1px;
39
    border-color: #356AA0;
40
    border-color: #356aa0;
40
    border-radius: 10px;
41
    border-radius: 10px;
-
 
42
    margin: 0;
41
    -webkit-border-radius: 10px;
43
    -webkit-border-radius: 10px;
42
    -ms-touch-action: none;
44
    -ms-touch-action: none;
43
    /* touch-action: none; */ /* Set with JavaScript */
45
    /* "touch-action: none;" is set with JavaScript. */
44
}
46
}
45
 
47
 
46
.jxgbox svg text {
48
.jxgbox svg text {
47
    cursor: default;
49
    cursor: default;
48
    -webkit-user-select: none;
50
    -webkit-user-select: none;
Line 51... Line 53...
51
    user-select: none;
53
    user-select: none;
52
}
54
}
53
 
55
 
54
.JXGtext {
56
.JXGtext {
55
    font-family: Courier, monospace;
57
    font-family: Courier, monospace;
56
    /**
58
    /*
57
     * The default font family is now set in
59
     * The default font family is now set in
58
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
60
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
59
     */
61
     */
60
    /*
-
 
61
        font-family: Arial, Helvetica, Geneva, sans-serif;
-
 
62
    */
-
 
63
 
62
 
64
    /* "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. */
65
    background-color: transparent;
64
    background-color: transparent;
66
    padding: 0;
65
    padding: 0;
67
    margin: 0;
66
    margin: 0;
68
}
67
}
69
 
68
 
70
.JXGinfobox {
69
.JXGinfobox {
71
    border-style: none;
70
    border-style: none;
72
    border-width: 1px;
71
    border-width: 0;
73
    border-color: black;
72
    border-color: black;
74
}
73
}
75
 
74
 
76
/*
-
 
77
    CSS attributes will (permantely) overwrite attributes set in JSXGraph
75
/* CSS attributes will (permantely) overwrite attributes set in JSXGraph */
78
*/
-
 
79
.JXGimage {
76
.JXGimage {
80
    /* opacity: 1.0; */
77
    /* opacity: 1.0; */
81
}
78
}
82
 
-
 
83
.JXGimageHighlight {
79
.JXGimageHighlight {
84
    /* opacity: 0.6; */
80
    /* opacity: 0.6; */
85
}
81
}
86
 
82
 
87
/*
83
.jxgbox :focus {
88
    CSS rules for the navigation bar
84
    outline-width: 0.5px;
-
 
85
    outline-style: dotted;
89
*/
86
}
90
 
87
 
-
 
88
/* CSS rules for the navigation bar */
91
.JXG_navigation {
89
.JXG_navigation {
92
    position: absolute;
90
    position: absolute;
93
    right: 5px;
91
    right: 5px;
94
    bottom: 5px;
92
    bottom: 5px;
95
 
93
 
96
    z-index: 100;
94
    z-index: 100;
97
 
95
 
98
    background-color: transparent;
96
    background-color: transparent;
99
    padding: 2px;
97
    padding: 2px;
100
    font-size: 14px;
98
    font-size: 14px;
101
    cursor: pointer;
99
    cursor: pointer;
102
}
100
}
103
 
-
 
104
.JXG_navigation:hover {
-
 
105
 
-
 
106
}
-
 
107
 
101
 
108
.JXG_navigation_button {
102
.JXG_navigation_button {
109
    color: #666666;
103
    color: #666;
110
}
104
}
111
 
105
 
112
.JXG_navigation_button:hover {
106
.JXG_navigation_button:hover {
113
    border-radius: 2px;
107
    border-radius: 2px;
114
    background-color: #c0c0c0;
-
 
115
    background-color: rgba(184, 184, 184, 0.5);
108
    background: rgba(184, 184, 184, 0.5);
116
}
109
}
117
 
110
 
118
/*
-
 
119
    CSS rules for the wrapping div in fullscreen mode
111
/* CSS rules for the wrapping div in fullscreen mode */
120
*/
-
 
121
 
112
 
122
.JXG_wrap_private:-moz-full-screen {
113
.JXG_wrap_private:-moz-full-screen {
123
   background-color: #cccccc;
114
    background-color: #ccc;
124
   padding: 0px;
115
    padding: 0;
125
   width: 100%;
116
    width: 100%;
126
   height: 100%;
117
    height: 100%;
127
}
118
}
128
 
119
 
129
.JXG_wrap_private:-webkit-full-screen {
120
.JXG_wrap_private:-webkit-full-screen {
130
   background-color: #cccccc;
121
    background-color: #ccc;
131
   padding: 0px;
122
    padding: 0;
132
   width: 100%;
123
    width: 100%;
133
   height: 100%;
124
    height: 100%;
134
}
125
}
135
 
126
 
136
.JXG_wrap_private:fullscreen {
127
.JXG_wrap_private:fullscreen {
137
   background-color: #cccccc;
128
    background-color: #ccc;
138
   padding: 0px;
129
    padding: 0;
139
   width: 100%;
130
    width: 100%;
140
   height: 100%;
131
    height: 100%;
141
}
132
}
142
 
133
 
143
.JXG_wrap_private:-ms-fullscreen {
134
.JXG_wrap_private:-ms-fullscreen {
144
   background-color: #cccccc;
135
    background-color: #ccc;
145
   padding: 0px;
136
    padding: 0;
146
   width: 100%;
137
    width: 100%;
147
   height: 100%;
138
    height: 100%;
148
}
139
}