Subversion Repositories wimsdev

Rev

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

Rev 14118 Rev 15332
Line 1... Line 1...
1 
/*
 1 
/*
2 
    Copyright 2008-2016
 2 
    Copyright 2008-2020
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 
        Alfred Wassermann,
 7 
        Alfred Wassermann,
Line 50... Line 50...
50 
    -ms-user-select: none;
 50 
    -ms-user-select: none;
51 
    user-select: none;
 51 
    user-select: none;
52 
}
 52 
}
53 
 
 53 
 
54 
.JXGtext {
 54 
.JXGtext {
55 
    font-family: Courier, monospace;
 55 
    font-family: Courier, monospace;
56 
    /**
 56 
    /**
57 
     * The default font family is now set in
 57 
     * The default font family is now set in
58 
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
 58 
     * JXG.Options.text.cssdefaultstyle = 'font-family: Arial, Helvetica, Geneva, sans-serif;'
59 
     */
 59 
     */
60 
    /*
 60 
    /*
61 
        font-family: Arial, Helvetica, Geneva, sans-serif;
 61 
        font-family: Arial, Helvetica, Geneva, sans-serif;
62 
    */
 62 
    */
63 
   
 63 
 
64 
    /* "background-color: transparent;" may produce artefacts in IE. Solution: setting a color explicitly. */
 64 
    /* "background-color: transparent;" may produce artefacts in IE. Solution: setting a color explicitly. */
65 
    background-color: transparent;
 65 
    background-color: transparent;
66 
    padding: 0;
 66 
    padding: 0;
67 
    margin: 0;
 67 
    margin: 0;
68 
}
 68 
}
69 
 
 69 
 
70 
.JXGinfobox {
 70 
.JXGinfobox {
71 
    border-style: none;
 71 
    border-style: none;
72 
    border-width: 1px;
 72 
    border-width: 1px;
73 
    border-color: black;
 73 
    border-color: black;
74 
}
 74 
}
75 
 
 75 
 
- 
 
 76 
/*
76 
/* CSS attributes will (permantely) overwrite attributes set in JSXGraph */
 77 
    CSS attributes will (permantely) overwrite attributes set in JSXGraph
- 
 
 78 
*/
77 
.JXGimage {
 79 
.JXGimage {
78 
    /* opacity: 1.0; */
 80 
    /* opacity: 1.0; */
79 
}
 81 
}
80 
 
 82 
 
81 
.JXGimageHighlight {
 83 
.JXGimageHighlight {
82 
    /* opacity: 0.6; */
 84 
    /* opacity: 0.6; */
83 
}
 85 
}
84 
 
 86 
 
- 
 
 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 
}