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 | } |