ckeditor/samples/toolbarconfigurator/lib/codemirror/codemirror.css
changeset 0 44d330dccc59
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ckeditor/samples/toolbarconfigurator/lib/codemirror/codemirror.css	Thu Dec 15 18:10:20 2016 +0300
     1.3 @@ -0,0 +1,325 @@
     1.4 +/* BASICS */
     1.5 +
     1.6 +.CodeMirror {
     1.7 +  /* Set height, width, borders, and global font properties here */
     1.8 +  font-family: monospace;
     1.9 +  height: 300px;
    1.10 +  color: black;
    1.11 +}
    1.12 +
    1.13 +/* PADDING */
    1.14 +
    1.15 +.CodeMirror-lines {
    1.16 +  padding: 4px 0; /* Vertical padding around content */
    1.17 +}
    1.18 +.CodeMirror pre {
    1.19 +  padding: 0 4px; /* Horizontal padding of content */
    1.20 +}
    1.21 +
    1.22 +.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
    1.23 +  background-color: white; /* The little square between H and V scrollbars */
    1.24 +}
    1.25 +
    1.26 +/* GUTTER */
    1.27 +
    1.28 +.CodeMirror-gutters {
    1.29 +  border-right: 1px solid #ddd;
    1.30 +  background-color: #f7f7f7;
    1.31 +  white-space: nowrap;
    1.32 +}
    1.33 +.CodeMirror-linenumbers {}
    1.34 +.CodeMirror-linenumber {
    1.35 +  padding: 0 3px 0 5px;
    1.36 +  min-width: 20px;
    1.37 +  text-align: right;
    1.38 +  color: #999;
    1.39 +  white-space: nowrap;
    1.40 +}
    1.41 +
    1.42 +.CodeMirror-guttermarker { color: black; }
    1.43 +.CodeMirror-guttermarker-subtle { color: #999; }
    1.44 +
    1.45 +/* CURSOR */
    1.46 +
    1.47 +.CodeMirror div.CodeMirror-cursor {
    1.48 +  border-left: 1px solid black;
    1.49 +}
    1.50 +/* Shown when moving in bi-directional text */
    1.51 +.CodeMirror div.CodeMirror-secondarycursor {
    1.52 +  border-left: 1px solid silver;
    1.53 +}
    1.54 +.CodeMirror.cm-fat-cursor div.CodeMirror-cursor {
    1.55 +  width: auto;
    1.56 +  border: 0;
    1.57 +  background: #7e7;
    1.58 +}
    1.59 +.CodeMirror.cm-fat-cursor div.CodeMirror-cursors {
    1.60 +  z-index: 1;
    1.61 +}
    1.62 +
    1.63 +.cm-animate-fat-cursor {
    1.64 +  width: auto;
    1.65 +  border: 0;
    1.66 +  -webkit-animation: blink 1.06s steps(1) infinite;
    1.67 +  -moz-animation: blink 1.06s steps(1) infinite;
    1.68 +  animation: blink 1.06s steps(1) infinite;
    1.69 +}
    1.70 +@-moz-keyframes blink {
    1.71 +  0% { background: #7e7; }
    1.72 +  50% { background: none; }
    1.73 +  100% { background: #7e7; }
    1.74 +}
    1.75 +@-webkit-keyframes blink {
    1.76 +  0% { background: #7e7; }
    1.77 +  50% { background: none; }
    1.78 +  100% { background: #7e7; }
    1.79 +}
    1.80 +@keyframes blink {
    1.81 +  0% { background: #7e7; }
    1.82 +  50% { background: none; }
    1.83 +  100% { background: #7e7; }
    1.84 +}
    1.85 +
    1.86 +/* Can style cursor different in overwrite (non-insert) mode */
    1.87 +div.CodeMirror-overwrite div.CodeMirror-cursor {}
    1.88 +
    1.89 +.cm-tab { display: inline-block; text-decoration: inherit; }
    1.90 +
    1.91 +.CodeMirror-ruler {
    1.92 +  border-left: 1px solid #ccc;
    1.93 +  position: absolute;
    1.94 +}
    1.95 +
    1.96 +/* DEFAULT THEME */
    1.97 +
    1.98 +.cm-s-default .cm-keyword {color: #708;}
    1.99 +.cm-s-default .cm-atom {color: #219;}
   1.100 +.cm-s-default .cm-number {color: #164;}
   1.101 +.cm-s-default .cm-def {color: #00f;}
   1.102 +.cm-s-default .cm-variable,
   1.103 +.cm-s-default .cm-punctuation,
   1.104 +.cm-s-default .cm-property,
   1.105 +.cm-s-default .cm-operator {}
   1.106 +.cm-s-default .cm-variable-2 {color: #05a;}
   1.107 +.cm-s-default .cm-variable-3 {color: #085;}
   1.108 +.cm-s-default .cm-comment {color: #a50;}
   1.109 +.cm-s-default .cm-string {color: #a11;}
   1.110 +.cm-s-default .cm-string-2 {color: #f50;}
   1.111 +.cm-s-default .cm-meta {color: #555;}
   1.112 +.cm-s-default .cm-qualifier {color: #555;}
   1.113 +.cm-s-default .cm-builtin {color: #30a;}
   1.114 +.cm-s-default .cm-bracket {color: #997;}
   1.115 +.cm-s-default .cm-tag {color: #170;}
   1.116 +.cm-s-default .cm-attribute {color: #00c;}
   1.117 +.cm-s-default .cm-header {color: blue;}
   1.118 +.cm-s-default .cm-quote {color: #090;}
   1.119 +.cm-s-default .cm-hr {color: #999;}
   1.120 +.cm-s-default .cm-link {color: #00c;}
   1.121 +
   1.122 +.cm-negative {color: #d44;}
   1.123 +.cm-positive {color: #292;}
   1.124 +.cm-header, .cm-strong {font-weight: bold;}
   1.125 +.cm-em {font-style: italic;}
   1.126 +.cm-link {text-decoration: underline;}
   1.127 +.cm-strikethrough {text-decoration: line-through;}
   1.128 +
   1.129 +.cm-s-default .cm-error {color: #f00;}
   1.130 +.cm-invalidchar {color: #f00;}
   1.131 +
   1.132 +.CodeMirror-composing { border-bottom: 2px solid; }
   1.133 +
   1.134 +/* Default styles for common addons */
   1.135 +
   1.136 +div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
   1.137 +div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
   1.138 +.CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); }
   1.139 +.CodeMirror-activeline-background {background: #e8f2ff;}
   1.140 +
   1.141 +/* STOP */
   1.142 +
   1.143 +/* The rest of this file contains styles related to the mechanics of
   1.144 +   the editor. You probably shouldn't touch them. */
   1.145 +
   1.146 +.CodeMirror {
   1.147 +  position: relative;
   1.148 +  overflow: hidden;
   1.149 +  background: white;
   1.150 +}
   1.151 +
   1.152 +.CodeMirror-scroll {
   1.153 +  overflow: scroll !important; /* Things will break if this is overridden */
   1.154 +  /* 30px is the magic margin used to hide the element's real scrollbars */
   1.155 +  /* See overflow: hidden in .CodeMirror */
   1.156 +  margin-bottom: -30px; margin-right: -30px;
   1.157 +  padding-bottom: 30px;
   1.158 +  height: 100%;
   1.159 +  outline: none; /* Prevent dragging from highlighting the element */
   1.160 +  position: relative;
   1.161 +}
   1.162 +.CodeMirror-sizer {
   1.163 +  position: relative;
   1.164 +  border-right: 30px solid transparent;
   1.165 +}
   1.166 +
   1.167 +/* The fake, visible scrollbars. Used to force redraw during scrolling
   1.168 +   before actuall scrolling happens, thus preventing shaking and
   1.169 +   flickering artifacts. */
   1.170 +.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
   1.171 +  position: absolute;
   1.172 +  z-index: 6;
   1.173 +  display: none;
   1.174 +}
   1.175 +.CodeMirror-vscrollbar {
   1.176 +  right: 0; top: 0;
   1.177 +  overflow-x: hidden;
   1.178 +  overflow-y: scroll;
   1.179 +}
   1.180 +.CodeMirror-hscrollbar {
   1.181 +  bottom: 0; left: 0;
   1.182 +  overflow-y: hidden;
   1.183 +  overflow-x: scroll;
   1.184 +}
   1.185 +.CodeMirror-scrollbar-filler {
   1.186 +  right: 0; bottom: 0;
   1.187 +}
   1.188 +.CodeMirror-gutter-filler {
   1.189 +  left: 0; bottom: 0;
   1.190 +}
   1.191 +
   1.192 +.CodeMirror-gutters {
   1.193 +  position: absolute; left: 0; top: 0;
   1.194 +  z-index: 3;
   1.195 +}
   1.196 +.CodeMirror-gutter {
   1.197 +  white-space: normal;
   1.198 +  height: 100%;
   1.199 +  display: inline-block;
   1.200 +  margin-bottom: -30px;
   1.201 +  /* Hack to make IE7 behave */
   1.202 +  *zoom:1;
   1.203 +  *display:inline;
   1.204 +}
   1.205 +.CodeMirror-gutter-wrapper {
   1.206 +  position: absolute;
   1.207 +  z-index: 4;
   1.208 +  height: 100%;
   1.209 +}
   1.210 +.CodeMirror-gutter-elt {
   1.211 +  position: absolute;
   1.212 +  cursor: default;
   1.213 +  z-index: 4;
   1.214 +}
   1.215 +.CodeMirror-gutter-wrapper {
   1.216 +  -webkit-user-select: none;
   1.217 +  -moz-user-select: none;
   1.218 +  user-select: none;
   1.219 +}
   1.220 +
   1.221 +.CodeMirror-lines {
   1.222 +  cursor: text;
   1.223 +  min-height: 1px; /* prevents collapsing before first draw */
   1.224 +}
   1.225 +.CodeMirror pre {
   1.226 +  /* Reset some styles that the rest of the page might have set */
   1.227 +  -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
   1.228 +  border-width: 0;
   1.229 +  background: transparent;
   1.230 +  font-family: inherit;
   1.231 +  font-size: inherit;
   1.232 +  margin: 0;
   1.233 +  white-space: pre;
   1.234 +  word-wrap: normal;
   1.235 +  line-height: inherit;
   1.236 +  color: inherit;
   1.237 +  z-index: 2;
   1.238 +  position: relative;
   1.239 +  overflow: visible;
   1.240 +  -webkit-tap-highlight-color: transparent;
   1.241 +}
   1.242 +.CodeMirror-wrap pre {
   1.243 +  word-wrap: break-word;
   1.244 +  white-space: pre-wrap;
   1.245 +  word-break: normal;
   1.246 +}
   1.247 +
   1.248 +.CodeMirror-linebackground {
   1.249 +  position: absolute;
   1.250 +  left: 0; right: 0; top: 0; bottom: 0;
   1.251 +  z-index: 0;
   1.252 +}
   1.253 +
   1.254 +.CodeMirror-linewidget {
   1.255 +  position: relative;
   1.256 +  z-index: 2;
   1.257 +  overflow: auto;
   1.258 +}
   1.259 +
   1.260 +.CodeMirror-widget {}
   1.261 +
   1.262 +.CodeMirror-code {
   1.263 +  outline: none;
   1.264 +}
   1.265 +
   1.266 +/* Force content-box sizing for the elements where we expect it */
   1.267 +.CodeMirror-scroll,
   1.268 +.CodeMirror-sizer,
   1.269 +.CodeMirror-gutter,
   1.270 +.CodeMirror-gutters,
   1.271 +.CodeMirror-linenumber {
   1.272 +  -moz-box-sizing: content-box;
   1.273 +  box-sizing: content-box;
   1.274 +}
   1.275 +
   1.276 +.CodeMirror-measure {
   1.277 +  position: absolute;
   1.278 +  width: 100%;
   1.279 +  height: 0;
   1.280 +  overflow: hidden;
   1.281 +  visibility: hidden;
   1.282 +}
   1.283 +.CodeMirror-measure pre { position: static; }
   1.284 +
   1.285 +.CodeMirror div.CodeMirror-cursor {
   1.286 +  position: absolute;
   1.287 +  border-right: none;
   1.288 +  width: 0;
   1.289 +}
   1.290 +
   1.291 +div.CodeMirror-cursors {
   1.292 +  visibility: hidden;
   1.293 +  position: relative;
   1.294 +  z-index: 3;
   1.295 +}
   1.296 +.CodeMirror-focused div.CodeMirror-cursors {
   1.297 +  visibility: visible;
   1.298 +}
   1.299 +
   1.300 +.CodeMirror-selected { background: #d9d9d9; }
   1.301 +.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
   1.302 +.CodeMirror-crosshair { cursor: crosshair; }
   1.303 +.CodeMirror ::selection { background: #d7d4f0; }
   1.304 +.CodeMirror ::-moz-selection { background: #d7d4f0; }
   1.305 +
   1.306 +.cm-searching {
   1.307 +  background: #ffa;
   1.308 +  background: rgba(255, 255, 0, .4);
   1.309 +}
   1.310 +
   1.311 +/* IE7 hack to prevent it from returning funny offsetTops on the spans */
   1.312 +.CodeMirror span { *vertical-align: text-bottom; }
   1.313 +
   1.314 +/* Used to force a border model for a node */
   1.315 +.cm-force-border { padding-right: .1px; }
   1.316 +
   1.317 +@media print {
   1.318 +  /* Hide the cursor when printing */
   1.319 +  .CodeMirror div.CodeMirror-cursors {
   1.320 +    visibility: hidden;
   1.321 +  }
   1.322 +}
   1.323 +
   1.324 +/* See issue #2901 */
   1.325 +.cm-tab-wrap-hack:after { content: ''; }
   1.326 +
   1.327 +/* Help users use markselection to safely style text background */
   1.328 +span.CodeMirror-selectedtext { background: none; }