File modules/editor/codemirror/lib/codemirror.css

Last commit: Sun Dec 17 01:14:09 2017 +0100	Jan Dankert	Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.


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



Download modules/editor/codemirror/lib/codemirror.css


History
Sun, 17 Dec 2017 01:14:09 +0100	Jan Dankert	Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.