python/educational-core/student/resources/code-mirror/codemirror.css

   1 body {
   2     margin-left: 20px;
   3     font-family: Helvetica, sans-serif;
   4     color: #4f5254;
   5 }
   6
   7 code {
   8     font-family: "Source Code Pro", fantasy;
   9 }
  10 /* BASICS */
  11 .task-help pre code {
  12     background-color: #f7f7f7;
  13     white-space: pre-wrap;
  14     margin-bottom: 10px;
  15     padding: 5px 25px 5px 15px;
  16     display: inline-block;
  17     margin-right: 21px;
  18 }
  19
  20 .CodeMirror {
  21     /* Set height, width, borders, and global font properties here */
  22     font-family: monospace;
  23     height: 300px;
  24     color: black;
  25 }
  26
  27 /* PADDING */
  28
  29 .CodeMirror-lines {
  30     padding: 4px 0; /* Vertical padding around content */
  31 }
  32 .CodeMirror pre {
  33     padding: 0 4px; /* Horizontal padding of content */
  34 }
  35
  36 .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
  37     background-color: white; /* The little square between H and V scrollbars */
  38 }
  39
  40 /* GUTTER */
  41
  42 .CodeMirror-gutters {
  43     border-right: 1px solid #ddd;
  44     background-color: #f7f7f7;
  45     white-space: nowrap;
  46 }
  47 .CodeMirror-linenumbers {}
  48 .CodeMirror-linenumber {
  49     padding: 0 3px 0 5px;
  50     min-width: 20px;
  51     text-align: right;
  52     color: #999;
  53     white-space: nowrap;
  54 }
  55
  56 .CodeMirror-guttermarker { color: black; }
  57 .CodeMirror-guttermarker-subtle { color: #999; }
  58
  59 /* CURSOR */
  60
  61 .CodeMirror-cursor {
  62     border-left: 1px solid black;
  63     border-right: none;
  64     width: 0;
  65 }
  66 /* Shown when moving in bi-directional text */
  67 .CodeMirror div.CodeMirror-secondarycursor {
  68     border-left: 1px solid silver;
  69 }
  70 .cm-fat-cursor .CodeMirror-cursor {
  71     width: auto;
  72     border: 0;
  73     background: #7e7;
  74 }
  75 .cm-fat-cursor div.CodeMirror-cursors {
  76     z-index: 1;
  77 }
  78
  79 .cm-animate-fat-cursor {
  80     width: auto;
  81     border: 0;
  82     -webkit-animation: blink 1.06s steps(1) infinite;
  83     -moz-animation: blink 1.06s steps(1) infinite;
  84     animation: blink 1.06s steps(1) infinite;
  85     background-color: #7e7;
  86 }
  87 @-moz-keyframes blink {
  88     0% {}
  89     50% { background-color: transparent; }
  90     100% {}
  91 }
  92 @-webkit-keyframes blink {
  93     0% {}
  94     50% { background-color: transparent; }
  95     100% {}
  96 }
  97 @keyframes blink {
  98     0% {}
  99     50% { background-color: transparent; }
 100     100% {}
 101 }
 102
 103 /* Can style cursor different in overwrite (non-insert) mode */
 104 .CodeMirror-overwrite .CodeMirror-cursor {}
 105
 106 .cm-tab { display: inline-block; text-decoration: inherit; }
 107
 108 .CodeMirror-ruler {
 109     border-left: 1px solid #ccc;
 110     position: absolute;
 111 }
 112
 113 /* DEFAULT THEME */
 114
 115 .cm-s-default .cm-header {color: blue;}
 116 .cm-s-default .cm-quote {color: #090;}
 117 .cm-negative {color: #d44;}
 118 .cm-positive {color: #292;}
 119 .cm-header, .cm-strong {font-weight: bold;}
 120 .cm-em {font-style: italic;}
 121 .cm-link {text-decoration: underline;}
 122 .cm-strikethrough {text-decoration: line-through;}
 123
 124 .cm-s-default .cm-keyword {color: #708;}
 125 .cm-s-default .cm-atom {color: #219;}
 126 .cm-s-default .cm-number {color: #164;}
 127 .cm-s-default .cm-def {color: #00f;}
 128 .cm-s-default .cm-variable,
 129 .cm-s-default .cm-punctuation,
 130 .cm-s-default .cm-property,
 131 .cm-s-default .cm-operator {}
 132 .cm-s-default .cm-variable-2 {color: #05a;}
 133 .cm-s-default .cm-variable-3 {color: #085;}
 134 .cm-s-default .cm-comment {color: #a50;}
 135 .cm-s-default .cm-string {color: #a11;}
 136 .cm-s-default .cm-string-2 {color: #f50;}
 137 .cm-s-default .cm-meta {color: #555;}
 138 .cm-s-default .cm-qualifier {color: #555;}
 139 .cm-s-default .cm-builtin {color: #30a;}
 140 .cm-s-default .cm-bracket {color: #997;}
 141 .cm-s-default .cm-tag {color: #170;}
 142 .cm-s-default .cm-attribute {color: #00c;}
 143 .cm-s-default .cm-hr {color: #999;}
 144 .cm-s-default .cm-link {color: #00c;}
 145
 146 .cm-s-default .cm-error {color: #f00;}
 147 .cm-invalidchar {color: #f00;}
 148
 149 .CodeMirror-composing { border-bottom: 2px solid; }
 150
 151 /* Default styles for common addons */
 152
 153 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
 154 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
 155 .CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); }
 156 .CodeMirror-activeline-background {background: #e8f2ff;}
 157
 158 /* STOP */
 159
 160 /* The rest of this file contains styles related to the mechanics of
 161    the editor. You probably shouldn't touch them. */
 162
 163 .CodeMirror {
 164     position: relative;
 165     overflow: hidden;
 166     background: white;
 167 }
 168
 169 .CodeMirror-scroll {
 170     overflow: scroll !important; /* Things will break if this is overridden */
 171     /* 30px is the magic margin used to hide the element's real scrollbars */
 172     /* See overflow: hidden in .CodeMirror */
 173     margin-bottom: -30px; margin-right: -30px;
 174     padding-bottom: 30px;
 175     height: 100%;
 176     outline: none; /* Prevent dragging from highlighting the element */
 177     position: relative;
 178 }
 179 .CodeMirror-sizer {
 180     position: relative;
 181     border-right: 30px solid transparent;
 182 }
 183
 184 /* The fake, visible scrollbars. Used to force redraw during scrolling
 185    before actuall scrolling happens, thus preventing shaking and
 186    flickering artifacts. */
 187 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
 188     position: absolute;
 189     z-index: 6;
 190     display: none;
 191 }
 192 .CodeMirror-vscrollbar {
 193     right: 0; top: 0;
 194     overflow-x: hidden;
 195     overflow-y: scroll;
 196 }
 197 .CodeMirror-hscrollbar {
 198     bottom: 0; left: 0;
 199     overflow-y: hidden;
 200     overflow-x: scroll;
 201 }
 202 .CodeMirror-scrollbar-filler {
 203     right: 0; bottom: 0;
 204 }
 205 .CodeMirror-gutter-filler {
 206     left: 0; bottom: 0;
 207 }
 208
 209 .CodeMirror-gutters {
 210     position: absolute; left: 0; top: 0;
 211     z-index: 3;
 212 }
 213 .CodeMirror-gutter {
 214     white-space: normal;
 215     height: 100%;
 216     display: inline-block;
 217     margin-bottom: -30px;
 218     /* Hack to make IE7 behave */
 219     *zoom:1;
 220     *display:inline;
 221 }
 222 .CodeMirror-gutter-wrapper {
 223     position: absolute;
 224     z-index: 4;
 225     background: none !important;
 226     border: none !important;
 227 }
 228 .CodeMirror-gutter-background {
 229     position: absolute;
 230     top: 0; bottom: 0;
 231     z-index: 4;
 232 }
 233 .CodeMirror-gutter-elt {
 234     position: absolute;
 235     cursor: default;
 236     z-index: 4;
 237 }
 238 .CodeMirror-gutter-wrapper {
 239     -webkit-user-select: none;
 240     -moz-user-select: none;
 241     user-select: none;
 242 }
 243
 244 .CodeMirror-lines {
 245     cursor: text;
 246     min-height: 1px; /* prevents collapsing before first draw */
 247 }
 248 .CodeMirror pre {
 249     /* Reset some styles that the rest of the page might have set */
 250     -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
 251     border-width: 0;
 252     background: transparent;
 253     font-family: inherit;
 254     font-size: inherit;
 255     margin: 0;
 256     white-space: pre;
 257     word-wrap: normal;
 258     line-height: inherit;
 259     color: inherit;
 260     z-index: 2;
 261     position: relative;
 262     overflow: visible;
 263     -webkit-tap-highlight-color: transparent;
 264 }
 265 .CodeMirror-wrap pre {
 266     word-wrap: break-word;
 267     white-space: pre-wrap;
 268     word-break: normal;
 269 }
 270
 271 .CodeMirror-linebackground {
 272     position: absolute;
 273     left: 0; right: 0; top: 0; bottom: 0;
 274     z-index: 0;
 275 }
 276
 277 .CodeMirror-linewidget {
 278     position: relative;
 279     z-index: 2;
 280     overflow: auto;
 281 }
 282
 283 .CodeMirror-widget {}
 284
 285 .CodeMirror-code {
 286     outline: none;
 287 }
 288
 289 /* Force content-box sizing for the elements where we expect it */
 290 .CodeMirror-scroll,
 291 .CodeMirror-sizer,
 292 .CodeMirror-gutter,
 293 .CodeMirror-gutters,
 294 .CodeMirror-linenumber {
 295     -moz-box-sizing: content-box;
 296     box-sizing: content-box;
 297 }
 298
 299 .CodeMirror-measure {
 300     position: absolute;
 301     width: 100%;
 302     height: 0;
 303     overflow: hidden;
 304     visibility: hidden;
 305 }
 306
 307 .CodeMirror-cursor { position: absolute; }
 308 .CodeMirror-measure pre { position: static; }
 309
 310 div.CodeMirror-cursors {
 311     visibility: hidden;
 312     position: relative;
 313     z-index: 3;
 314 }
 315 div.CodeMirror-dragcursors {
 316     visibility: visible;
 317 }
 318
 319 .CodeMirror-focused div.CodeMirror-cursors {
 320     visibility: visible;
 321 }
 322
 323 .CodeMirror-selected { background: #d9d9d9; }
 324 .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
 325 .CodeMirror-crosshair { cursor: crosshair; }
 326 .CodeMirror-line::selection, .CodeMirror-line > span::selection, .CodeMirror-line > span > span::selection { background: #d7d4f0; }
 327 .CodeMirror-line::-moz-selection, .CodeMirror-line > span::-moz-selection, .CodeMirror-line > span > span::-moz-selection { background: #d7d4f0; }
 328
 329 .cm-searching {
 330     background: #ffa;
 331     background: rgba(255, 255, 0, .4);
 332 }
 333
 334 /* IE7 hack to prevent it from returning funny offsetTops on the spans */
 335 .CodeMirror span { *vertical-align: text-bottom; }
 336
 337 /* Used to force a border model for a node */
 338 .cm-force-border { padding-right: .1px; }
 339
 340 @media print {
 341     /* Hide the cursor when printing */
 342     .CodeMirror div.CodeMirror-cursors {
 343         visibility: hidden;
 344     }
 345 }
 346
 347 /* See issue #2901 */
 348 .cm-tab-wrap-hack:after { content: ''; }
 349
 350 /* Help users use markselection to safely style text background */
 351 span.CodeMirror-selectedtext { background: none; }