dew/src/main/resources/org/apidesign/bck2brwsr/dew/js/codemirror/codemirror.css
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Wed, 23 Jan 2013 13:18:46 +0100
branchdew
changeset 544 08ffdc3938e7
parent 460 launcher/src/main/resources/org/apidesign/bck2brwsr/dew/js/codemirror/codemirror.css@c0f1788183dd
permissions -rw-r--r--
Moving Development Environment for Web to own project
     1 /* BASICS */
     2 
     3 .CodeMirror {
     4   /* Set height, width, borders, and global font properties here */
     5   font-family: monospace;
     6   height: 300px;
     7 }
     8 .CodeMirror-scroll {
     9   /* Set scrolling behaviour here */
    10   overflow: auto;
    11 }
    12 
    13 /* PADDING */
    14 
    15 .CodeMirror-lines {
    16   padding: 4px 0; /* Vertical padding around content */
    17 }
    18 .CodeMirror pre {
    19   padding: 0 4px; /* Horizontal padding of content */
    20 }
    21 
    22 .CodeMirror-scrollbar-filler {
    23   background-color: white; /* The little square between H and V scrollbars */
    24 }
    25 
    26 /* GUTTER */
    27 
    28 .CodeMirror-gutters {
    29   border-right: 1px solid #ddd;
    30   background-color: #f7f7f7;
    31 }
    32 .CodeMirror-linenumbers {}
    33 .CodeMirror-linenumber {
    34   padding: 0 3px 0 5px;
    35   min-width: 20px;
    36   text-align: right;
    37   color: #999;
    38 }
    39 
    40 /* CURSOR */
    41 
    42 .CodeMirror pre.CodeMirror-cursor {
    43   border-left: 1px solid black;
    44 }
    45 /* Shown when moving in bi-directional text */
    46 .CodeMirror pre.CodeMirror-secondarycursor {
    47   border-left: 1px solid silver;
    48 }
    49 .cm-keymap-fat-cursor pre.CodeMirror-cursor {
    50   width: auto;
    51   border: 0;
    52   background: transparent;
    53   background: rgba(0, 200, 0, .4);
    54   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#6600c800, endColorstr=#4c00c800);
    55 }
    56 /* Kludge to turn off filter in ie9+, which also accepts rgba */
    57 .cm-keymap-fat-cursor pre.CodeMirror-cursor:not(#nonsense_id) {
    58   filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
    59 }
    60 /* Can style cursor different in overwrite (non-insert) mode */
    61 .CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {}
    62 
    63 /* DEFAULT THEME */
    64 
    65 .cm-s-default .cm-keyword {color: #708;}
    66 .cm-s-default .cm-atom {color: #219;}
    67 .cm-s-default .cm-number {color: #164;}
    68 .cm-s-default .cm-def {color: #00f;}
    69 .cm-s-default .cm-variable {color: black;}
    70 .cm-s-default .cm-variable-2 {color: #05a;}
    71 .cm-s-default .cm-variable-3 {color: #085;}
    72 .cm-s-default .cm-property {color: black;}
    73 .cm-s-default .cm-operator {color: black;}
    74 .cm-s-default .cm-comment {color: #a50;}
    75 .cm-s-default .cm-string {color: #a11;}
    76 .cm-s-default .cm-string-2 {color: #f50;}
    77 .cm-s-default .cm-meta {color: #555;}
    78 .cm-s-default .cm-error {color: #f00;}
    79 .cm-s-default .cm-qualifier {color: #555;}
    80 .cm-s-default .cm-builtin {color: #30a;}
    81 .cm-s-default .cm-bracket {color: #997;}
    82 .cm-s-default .cm-tag {color: #170;}
    83 .cm-s-default .cm-attribute {color: #00c;}
    84 .cm-s-default .cm-header {color: blue;}
    85 .cm-s-default .cm-quote {color: #090;}
    86 .cm-s-default .cm-hr {color: #999;}
    87 .cm-s-default .cm-link {color: #00c;}
    88 
    89 .cm-negative {color: #d44;}
    90 .cm-positive {color: #292;}
    91 .cm-header, .cm-strong {font-weight: bold;}
    92 .cm-em {font-style: italic;}
    93 .cm-emstrong {font-style: italic; font-weight: bold;}
    94 .cm-link {text-decoration: underline;}
    95 
    96 .cm-invalidchar {color: #f00;}
    97 
    98 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
    99 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
   100 
   101 /* STOP */
   102 
   103 /* The rest of this file contains styles related to the mechanics of
   104    the editor. You probably shouldn't touch them. */
   105 
   106 .CodeMirror {
   107   line-height: 1;
   108   position: relative;
   109   overflow: hidden;
   110 }
   111 
   112 .CodeMirror-scroll {
   113   /* 30px is the magic margin used to hide the element's real scrollbars */
   114   /* See overflow: hidden in .CodeMirror, and the paddings in .CodeMirror-sizer */
   115   margin-bottom: -30px; margin-right: -30px;
   116   padding-bottom: 30px; padding-right: 30px;
   117   height: 100%;
   118   outline: none; /* Prevent dragging from highlighting the element */
   119   position: relative;
   120 }
   121 .CodeMirror-sizer {
   122   position: relative;
   123 }
   124 
   125 /* The fake, visible scrollbars. Used to force redraw during scrolling
   126    before actuall scrolling happens, thus preventing shaking and
   127    flickering artifacts. */
   128 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler {
   129   position: absolute;
   130   z-index: 6;
   131   display: none;
   132 }
   133 .CodeMirror-vscrollbar {
   134   right: 0; top: 0;
   135   overflow-x: hidden;
   136   overflow-y: scroll;
   137 }
   138 .CodeMirror-hscrollbar {
   139   bottom: 0; left: 0;
   140   overflow-y: hidden;
   141   overflow-x: scroll;
   142 }
   143 .CodeMirror-scrollbar-filler {
   144   right: 0; bottom: 0;
   145   z-index: 6;
   146 }
   147 
   148 .CodeMirror-gutters {
   149   position: absolute; left: 0; top: 0;
   150   height: 100%;
   151   z-index: 3;
   152 }
   153 .CodeMirror-gutter {
   154   height: 100%;
   155   display: inline-block;
   156   /* Hack to make IE7 behave */
   157   *zoom:1;
   158   *display:inline;
   159 }
   160 .CodeMirror-gutter-elt {
   161   position: absolute;
   162   cursor: default;
   163   z-index: 4;
   164 }
   165 
   166 .CodeMirror-lines {
   167   cursor: text;
   168 }
   169 .CodeMirror pre {
   170   /* Reset some styles that the rest of the page might have set */
   171   -moz-border-radius: 0; -webkit-border-radius: 0; -o-border-radius: 0; border-radius: 0;
   172   border-width: 0;
   173   background: transparent;
   174   font-family: inherit;
   175   font-size: inherit;
   176   margin: 0;
   177   white-space: pre;
   178   word-wrap: normal;
   179   line-height: inherit;
   180   color: inherit;
   181   z-index: 2;
   182   position: relative;
   183   overflow: visible;
   184 }
   185 .CodeMirror-wrap pre {
   186   word-wrap: break-word;
   187   white-space: pre-wrap;
   188   word-break: normal;
   189 }
   190 .CodeMirror-linebackground {
   191   position: absolute;
   192   left: 0; right: 0; top: 0; bottom: 0;
   193   z-index: 0;
   194 }
   195 
   196 .CodeMirror-linewidget {
   197   position: relative;
   198   z-index: 2;
   199 }
   200 
   201 .CodeMirror-wrap .CodeMirror-scroll {
   202   overflow-x: hidden;
   203 }
   204 
   205 .CodeMirror-measure {
   206   position: absolute;
   207   width: 100%; height: 0px;
   208   overflow: hidden;
   209   visibility: hidden;
   210 }
   211 .CodeMirror-measure pre { position: static; }
   212 
   213 .CodeMirror pre.CodeMirror-cursor {
   214   position: absolute;
   215   visibility: hidden;
   216   border-right: none;
   217   width: 0;
   218 }
   219 .CodeMirror-focused pre.CodeMirror-cursor {
   220   visibility: visible;
   221 }
   222 
   223 .CodeMirror-selected { background: #d9d9d9; }
   224 .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
   225 
   226 .CodeMirror-searching {
   227   background: #ffa;
   228   background: rgba(255, 255, 0, .4);
   229 }
   230 
   231 /* IE7 hack to prevent it from returning funny offsetTops on the spans */
   232 .CodeMirror span { *vertical-align: text-bottom; }
   233 
   234 @media print {
   235   /* Hide the cursor when printing */
   236   .CodeMirror pre.CodeMirror-cursor {
   237     visibility: hidden;
   238   }
   239 }