1.1 --- a/launcher/src/main/resources/org/apidesign/bck2brwsr/dew/js/codemirror/codemirror.css	Wed Jan 23 12:53:23 2013 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,239 +0,0 @@
     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 -}
    1.11 -.CodeMirror-scroll {
    1.12 -  /* Set scrolling behaviour here */
    1.13 -  overflow: auto;
    1.14 -}
    1.15 -
    1.16 -/* PADDING */
    1.17 -
    1.18 -.CodeMirror-lines {
    1.19 -  padding: 4px 0; /* Vertical padding around content */
    1.20 -}
    1.21 -.CodeMirror pre {
    1.22 -  padding: 0 4px; /* Horizontal padding of content */
    1.23 -}
    1.24 -
    1.25 -.CodeMirror-scrollbar-filler {
    1.26 -  background-color: white; /* The little square between H and V scrollbars */
    1.27 -}
    1.28 -
    1.29 -/* GUTTER */
    1.30 -
    1.31 -.CodeMirror-gutters {
    1.32 -  border-right: 1px solid #ddd;
    1.33 -  background-color: #f7f7f7;
    1.34 -}
    1.35 -.CodeMirror-linenumbers {}
    1.36 -.CodeMirror-linenumber {
    1.37 -  padding: 0 3px 0 5px;
    1.38 -  min-width: 20px;
    1.39 -  text-align: right;
    1.40 -  color: #999;
    1.41 -}
    1.42 -
    1.43 -/* CURSOR */
    1.44 -
    1.45 -.CodeMirror pre.CodeMirror-cursor {
    1.46 -  border-left: 1px solid black;
    1.47 -}
    1.48 -/* Shown when moving in bi-directional text */
    1.49 -.CodeMirror pre.CodeMirror-secondarycursor {
    1.50 -  border-left: 1px solid silver;
    1.51 -}
    1.52 -.cm-keymap-fat-cursor pre.CodeMirror-cursor {
    1.53 -  width: auto;
    1.54 -  border: 0;
    1.55 -  background: transparent;
    1.56 -  background: rgba(0, 200, 0, .4);
    1.57 -  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#6600c800, endColorstr=#4c00c800);
    1.58 -}
    1.59 -/* Kludge to turn off filter in ie9+, which also accepts rgba */
    1.60 -.cm-keymap-fat-cursor pre.CodeMirror-cursor:not(#nonsense_id) {
    1.61 -  filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
    1.62 -}
    1.63 -/* Can style cursor different in overwrite (non-insert) mode */
    1.64 -.CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {}
    1.65 -
    1.66 -/* DEFAULT THEME */
    1.67 -
    1.68 -.cm-s-default .cm-keyword {color: #708;}
    1.69 -.cm-s-default .cm-atom {color: #219;}
    1.70 -.cm-s-default .cm-number {color: #164;}
    1.71 -.cm-s-default .cm-def {color: #00f;}
    1.72 -.cm-s-default .cm-variable {color: black;}
    1.73 -.cm-s-default .cm-variable-2 {color: #05a;}
    1.74 -.cm-s-default .cm-variable-3 {color: #085;}
    1.75 -.cm-s-default .cm-property {color: black;}
    1.76 -.cm-s-default .cm-operator {color: black;}
    1.77 -.cm-s-default .cm-comment {color: #a50;}
    1.78 -.cm-s-default .cm-string {color: #a11;}
    1.79 -.cm-s-default .cm-string-2 {color: #f50;}
    1.80 -.cm-s-default .cm-meta {color: #555;}
    1.81 -.cm-s-default .cm-error {color: #f00;}
    1.82 -.cm-s-default .cm-qualifier {color: #555;}
    1.83 -.cm-s-default .cm-builtin {color: #30a;}
    1.84 -.cm-s-default .cm-bracket {color: #997;}
    1.85 -.cm-s-default .cm-tag {color: #170;}
    1.86 -.cm-s-default .cm-attribute {color: #00c;}
    1.87 -.cm-s-default .cm-header {color: blue;}
    1.88 -.cm-s-default .cm-quote {color: #090;}
    1.89 -.cm-s-default .cm-hr {color: #999;}
    1.90 -.cm-s-default .cm-link {color: #00c;}
    1.91 -
    1.92 -.cm-negative {color: #d44;}
    1.93 -.cm-positive {color: #292;}
    1.94 -.cm-header, .cm-strong {font-weight: bold;}
    1.95 -.cm-em {font-style: italic;}
    1.96 -.cm-emstrong {font-style: italic; font-weight: bold;}
    1.97 -.cm-link {text-decoration: underline;}
    1.98 -
    1.99 -.cm-invalidchar {color: #f00;}
   1.100 -
   1.101 -div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
   1.102 -div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
   1.103 -
   1.104 -/* STOP */
   1.105 -
   1.106 -/* The rest of this file contains styles related to the mechanics of
   1.107 -   the editor. You probably shouldn't touch them. */
   1.108 -
   1.109 -.CodeMirror {
   1.110 -  line-height: 1;
   1.111 -  position: relative;
   1.112 -  overflow: hidden;
   1.113 -}
   1.114 -
   1.115 -.CodeMirror-scroll {
   1.116 -  /* 30px is the magic margin used to hide the element's real scrollbars */
   1.117 -  /* See overflow: hidden in .CodeMirror, and the paddings in .CodeMirror-sizer */
   1.118 -  margin-bottom: -30px; margin-right: -30px;
   1.119 -  padding-bottom: 30px; padding-right: 30px;
   1.120 -  height: 100%;
   1.121 -  outline: none; /* Prevent dragging from highlighting the element */
   1.122 -  position: relative;
   1.123 -}
   1.124 -.CodeMirror-sizer {
   1.125 -  position: relative;
   1.126 -}
   1.127 -
   1.128 -/* The fake, visible scrollbars. Used to force redraw during scrolling
   1.129 -   before actuall scrolling happens, thus preventing shaking and
   1.130 -   flickering artifacts. */
   1.131 -.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler {
   1.132 -  position: absolute;
   1.133 -  z-index: 6;
   1.134 -  display: none;
   1.135 -}
   1.136 -.CodeMirror-vscrollbar {
   1.137 -  right: 0; top: 0;
   1.138 -  overflow-x: hidden;
   1.139 -  overflow-y: scroll;
   1.140 -}
   1.141 -.CodeMirror-hscrollbar {
   1.142 -  bottom: 0; left: 0;
   1.143 -  overflow-y: hidden;
   1.144 -  overflow-x: scroll;
   1.145 -}
   1.146 -.CodeMirror-scrollbar-filler {
   1.147 -  right: 0; bottom: 0;
   1.148 -  z-index: 6;
   1.149 -}
   1.150 -
   1.151 -.CodeMirror-gutters {
   1.152 -  position: absolute; left: 0; top: 0;
   1.153 -  height: 100%;
   1.154 -  z-index: 3;
   1.155 -}
   1.156 -.CodeMirror-gutter {
   1.157 -  height: 100%;
   1.158 -  display: inline-block;
   1.159 -  /* Hack to make IE7 behave */
   1.160 -  *zoom:1;
   1.161 -  *display:inline;
   1.162 -}
   1.163 -.CodeMirror-gutter-elt {
   1.164 -  position: absolute;
   1.165 -  cursor: default;
   1.166 -  z-index: 4;
   1.167 -}
   1.168 -
   1.169 -.CodeMirror-lines {
   1.170 -  cursor: text;
   1.171 -}
   1.172 -.CodeMirror pre {
   1.173 -  /* Reset some styles that the rest of the page might have set */
   1.174 -  -moz-border-radius: 0; -webkit-border-radius: 0; -o-border-radius: 0; border-radius: 0;
   1.175 -  border-width: 0;
   1.176 -  background: transparent;
   1.177 -  font-family: inherit;
   1.178 -  font-size: inherit;
   1.179 -  margin: 0;
   1.180 -  white-space: pre;
   1.181 -  word-wrap: normal;
   1.182 -  line-height: inherit;
   1.183 -  color: inherit;
   1.184 -  z-index: 2;
   1.185 -  position: relative;
   1.186 -  overflow: visible;
   1.187 -}
   1.188 -.CodeMirror-wrap pre {
   1.189 -  word-wrap: break-word;
   1.190 -  white-space: pre-wrap;
   1.191 -  word-break: normal;
   1.192 -}
   1.193 -.CodeMirror-linebackground {
   1.194 -  position: absolute;
   1.195 -  left: 0; right: 0; top: 0; bottom: 0;
   1.196 -  z-index: 0;
   1.197 -}
   1.198 -
   1.199 -.CodeMirror-linewidget {
   1.200 -  position: relative;
   1.201 -  z-index: 2;
   1.202 -}
   1.203 -
   1.204 -.CodeMirror-wrap .CodeMirror-scroll {
   1.205 -  overflow-x: hidden;
   1.206 -}
   1.207 -
   1.208 -.CodeMirror-measure {
   1.209 -  position: absolute;
   1.210 -  width: 100%; height: 0px;
   1.211 -  overflow: hidden;
   1.212 -  visibility: hidden;
   1.213 -}
   1.214 -.CodeMirror-measure pre { position: static; }
   1.215 -
   1.216 -.CodeMirror pre.CodeMirror-cursor {
   1.217 -  position: absolute;
   1.218 -  visibility: hidden;
   1.219 -  border-right: none;
   1.220 -  width: 0;
   1.221 -}
   1.222 -.CodeMirror-focused pre.CodeMirror-cursor {
   1.223 -  visibility: visible;
   1.224 -}
   1.225 -
   1.226 -.CodeMirror-selected { background: #d9d9d9; }
   1.227 -.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
   1.228 -
   1.229 -.CodeMirror-searching {
   1.230 -  background: #ffa;
   1.231 -  background: rgba(255, 255, 0, .4);
   1.232 -}
   1.233 -
   1.234 -/* IE7 hack to prevent it from returning funny offsetTops on the spans */
   1.235 -.CodeMirror span { *vertical-align: text-bottom; }
   1.236 -
   1.237 -@media print {
   1.238 -  /* Hide the cursor when printing */
   1.239 -  .CodeMirror pre.CodeMirror-cursor {
   1.240 -    visibility: hidden;
   1.241 -  }
   1.242 -}