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- |
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: |
37 | background-color: #fff; |
37 | border-style: solid; |
38 | border-style: solid; |
38 | border-width: 1px; |
39 | border-width: 1px; |
39 | border-color: |
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; |
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: |
71 | border-width: 0; |
73 | border-color: black; |
72 | border-color: black; |
74 | } |
73 | } |
75 | 74 | ||
76 | /* |
- | |
77 |
|
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 |
|
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: |
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 |
108 | background: rgba(184, 184, 184, 0.5); |
116 | } |
109 | } |
117 | 110 | ||
118 | /* |
- | |
119 |
|
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: |
114 | background-color: #ccc; |
124 | padding: |
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: |
121 | background-color: #ccc; |
131 | padding: |
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: |
128 | background-color: #ccc; |
138 | padding: |
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: |
135 | background-color: #ccc; |
145 | padding: |
136 | padding: 0; |
146 | width: 100%; |
137 | width: 100%; |
147 | height: 100%; |
138 | height: 100%; |
148 | } |
139 | } |