1.1 --- a/dew/src/main/resources/org/apidesign/bck2brwsr/dew/js/codemirror/codemirror.css Sat Oct 12 09:05:08 2013 +0200
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 -}