Subversion Repositories wimsdev

Rev

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

Rev 14283 Rev 15152
Line 162... Line 162...
162 
  background: white;
 162 
  background: white;
163 
}
 163 
}
164 
 
 164 
 
165 
.CodeMirror-scroll {
 165 
.CodeMirror-scroll {
166 
  overflow: scroll !important; /* Things will break if this is overridden */
 166 
  overflow: scroll !important; /* Things will break if this is overridden */
167 
  /* 30px is the magic margin used to hide the element's real scrollbars */
 167 
  /* 50px is the magic margin used to hide the element's real scrollbars */
168 
  /* See overflow: hidden in .CodeMirror */
 168 
  /* See overflow: hidden in .CodeMirror */
169 
  margin-bottom: -30px; margin-right: -30px;
 169 
  margin-bottom: -50px; margin-right: -50px;
170 
  padding-bottom: 30px;
 170 
  padding-bottom: 50px;
171 
  height: 100%;
 171 
  height: 100%;
172 
  outline: none; /* Prevent dragging from highlighting the element */
 172 
  outline: none; /* Prevent dragging from highlighting the element */
173 
  position: relative;
 173 
  position: relative;
174 
}
 174 
}
175 
.CodeMirror-sizer {
 175 
.CodeMirror-sizer {
176 
  position: relative;
 176 
  position: relative;
177 
  border-right: 30px solid transparent;
 177 
  border-right: 50px solid transparent;
178 
}
 178 
}
179 
 
 179 
 
180 
/* The fake, visible scrollbars. Used to force redraw during scrolling
 180 
/* The fake, visible scrollbars. Used to force redraw during scrolling
181 
   before actual scrolling happens, thus preventing shaking and
 181 
   before actual scrolling happens, thus preventing shaking and
182 
   flickering artifacts. */
 182 
   flickering artifacts. */
Line 210... Line 210...
210 
.CodeMirror-gutter {
 210 
.CodeMirror-gutter {
211 
  white-space: normal;
 211 
  white-space: normal;
212 
  height: 100%;
 212 
  height: 100%;
213 
  display: inline-block;
 213 
  display: inline-block;
214 
  vertical-align: top;
 214 
  vertical-align: top;
215 
  margin-bottom: -30px;
 215 
  margin-bottom: -50px;
216 
}
 216 
}
217 
.CodeMirror-gutter-wrapper {
 217 
.CodeMirror-gutter-wrapper {
218 
  position: absolute;
 218 
  position: absolute;
219 
  z-index: 4;
 219 
  z-index: 4;
220 
  background: none !important;
 220 
  background: none !important;