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 
}