Subversion Repositories wimsdev

Rev

Rev 15152 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 15152 Rev 16493
Line 58... Line 58...
58 
  background: #7e7;
 58 
  background: #7e7;
59 
}
 59 
}
60 
.cm-fat-cursor div.CodeMirror-cursors {
 60 
.cm-fat-cursor div.CodeMirror-cursors {
61 
  z-index: 1;
 61 
  z-index: 1;
62 
}
 62 
}
63 
.cm-fat-cursor-mark {
 63 
.cm-fat-cursor .CodeMirror-line::selection,
64 
  background-color: rgba(20, 255, 20, 0.5);
 64 
.cm-fat-cursor .CodeMirror-line > span::selection,
65 
  -webkit-animation: blink 1.06s steps(1) infinite;
 65 
.cm-fat-cursor .CodeMirror-line > span > span::selection { background: transparent; }
66 
  -moz-animation: blink 1.06s steps(1) infinite;
 66 
.cm-fat-cursor .CodeMirror-line::-moz-selection,
67 
  animation: blink 1.06s steps(1) infinite;
 - 
 
68 
}
 - 
 
69 
.cm-animate-fat-cursor {
 - 
 
70 
  width: auto;
 - 
 
71 
  border: 0;
 - 
 
72 
  -webkit-animation: blink 1.06s steps(1) infinite;
 67 
.cm-fat-cursor .CodeMirror-line > span::-moz-selection,
73 
  -moz-animation: blink 1.06s steps(1) infinite;
 68 
.cm-fat-cursor .CodeMirror-line > span > span::-moz-selection { background: transparent; }
74 
  animation: blink 1.06s steps(1) infinite;
 - 
 
75 
  background-color: #7e7;
 69 
.cm-fat-cursor { caret-color: transparent; }
76 
}
 - 
 
77 
@-moz-keyframes blink {
 70 
@-moz-keyframes blink {
78 
  0% {}
 71 
  0% {}
79 
  50% { background-color: transparent; }
 72 
  50% { background-color: transparent; }
80 
  100% {}
 73 
  100% {}
81 
}
 74 
}
Line 169... Line 162...
169 
  margin-bottom: -50px; margin-right: -50px;
 162 
  margin-bottom: -50px; margin-right: -50px;
170 
  padding-bottom: 50px;
 163 
  padding-bottom: 50px;
171 
  height: 100%;
 164 
  height: 100%;
172 
  outline: none; /* Prevent dragging from highlighting the element */
 165 
  outline: none; /* Prevent dragging from highlighting the element */
173 
  position: relative;
 166 
  position: relative;
- 
 
 167 
  z-index: 0;
174 
}
 168 
}
175 
.CodeMirror-sizer {
 169 
.CodeMirror-sizer {
176 
  position: relative;
 170 
  position: relative;
177 
  border-right: 50px solid transparent;
 171 
  border-right: 50px solid transparent;
178 
}
 172 
}
Line 182... Line 176...
182 
   flickering artifacts. */
 176 
   flickering artifacts. */
183 
.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
 177 
.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
184 
  position: absolute;
 178 
  position: absolute;
185 
  z-index: 6;
 179 
  z-index: 6;
186 
  display: none;
 180 
  display: none;
- 
 
 181 
  outline: none;
187 
}
 182 
}
188 
.CodeMirror-vscrollbar {
 183 
.CodeMirror-vscrollbar {
189 
  right: 0; top: 0;
 184 
  right: 0; top: 0;
190 
  overflow-x: hidden;
 185 
  overflow-x: hidden;
191 
  overflow-y: scroll;
 186 
  overflow-y: scroll;