diff options
author | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
---|---|---|
committer | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
commit | 03ca7a5ed13c25faaa9100bb666e062fd15335e6 (patch) | |
tree | c51112223ceb9121cd595a60335eb2795215590f /imports/codemirror/lib/codemirror.css | |
parent | fcb12cc09eb3cd3b42bd215877ba18f449275b75 (diff) | |
parent | 053fc63a2950c7a5ee4ebf98033b64d474a3c46e (diff) | |
download | ninja-03ca7a5ed13c25faaa9100bb666e062fd15335e6.tar.gz |
Merge branch 'pentool' into brushtool
Conflicts:
imports/codemirror/mode/scheme/scheme.js
js/tools/BrushTool.js
Diffstat (limited to 'imports/codemirror/lib/codemirror.css')
-rwxr-xr-x | imports/codemirror/lib/codemirror.css | 104 |
1 files changed, 104 insertions, 0 deletions
diff --git a/imports/codemirror/lib/codemirror.css b/imports/codemirror/lib/codemirror.css new file mode 100755 index 00000000..11614251 --- /dev/null +++ b/imports/codemirror/lib/codemirror.css | |||
@@ -0,0 +1,104 @@ | |||
1 | .CodeMirror { | ||
2 | line-height: 1em; | ||
3 | font-family: monospace; | ||
4 | } | ||
5 | |||
6 | .CodeMirror-scroll { | ||
7 | overflow: auto; | ||
8 | height: 300px; | ||
9 | /* This is needed to prevent an IE[67] bug where the scrolled content | ||
10 | is visible outside of the scrolling box. */ | ||
11 | position: relative; | ||
12 | } | ||
13 | |||
14 | .CodeMirror-gutter { | ||
15 | position: absolute; left: 0; top: 0; | ||
16 | z-index: 10; | ||
17 | background-color: #f7f7f7; | ||
18 | border-right: 1px solid #eee; | ||
19 | min-width: 2em; | ||
20 | height: 100%; | ||
21 | } | ||
22 | .CodeMirror-gutter-text { | ||
23 | color: #aaa; | ||
24 | text-align: right; | ||
25 | padding: .4em .2em .4em .4em; | ||
26 | white-space: pre !important; | ||
27 | } | ||
28 | .CodeMirror-lines { | ||
29 | padding: .4em; | ||
30 | } | ||
31 | |||
32 | .CodeMirror pre { | ||
33 | -moz-border-radius: 0; | ||
34 | -webkit-border-radius: 0; | ||
35 | -o-border-radius: 0; | ||
36 | border-radius: 0; | ||
37 | border-width: 0; margin: 0; padding: 0; background: transparent; | ||
38 | font-family: inherit; | ||
39 | font-size: inherit; | ||
40 | padding: 0; margin: 0; | ||
41 | white-space: pre; | ||
42 | word-wrap: normal; | ||
43 | } | ||
44 | |||
45 | .CodeMirror-wrap pre { | ||
46 | word-wrap: break-word; | ||
47 | white-space: pre-wrap; | ||
48 | } | ||
49 | .CodeMirror-wrap .CodeMirror-scroll { | ||
50 | overflow-x: hidden; | ||
51 | } | ||
52 | |||
53 | .CodeMirror textarea { | ||
54 | outline: none !important; | ||
55 | } | ||
56 | |||
57 | .CodeMirror pre.CodeMirror-cursor { | ||
58 | z-index: 10; | ||
59 | position: absolute; | ||
60 | visibility: hidden; | ||
61 | border-left: 1px solid black; | ||
62 | } | ||
63 | .CodeMirror-focused pre.CodeMirror-cursor { | ||
64 | visibility: visible; | ||
65 | } | ||
66 | |||
67 | span.CodeMirror-selected { background: #d9d9d9; } | ||
68 | .CodeMirror-focused span.CodeMirror-selected { background: #d2dcf8; } | ||
69 | |||
70 | .CodeMirror-searching {background: #ffa;} | ||
71 | |||
72 | /* Default theme */ | ||
73 | |||
74 | .cm-s-default span.cm-keyword {color: #708;} | ||
75 | .cm-s-default span.cm-atom {color: #219;} | ||
76 | .cm-s-default span.cm-number {color: #164;} | ||
77 | .cm-s-default span.cm-def {color: #00f;} | ||
78 | .cm-s-default span.cm-variable {color: black;} | ||
79 | .cm-s-default span.cm-variable-2 {color: #05a;} | ||
80 | .cm-s-default span.cm-variable-3 {color: #085;} | ||
81 | .cm-s-default span.cm-property {color: black;} | ||
82 | .cm-s-default span.cm-operator {color: black;} | ||
83 | .cm-s-default span.cm-comment {color: #a50;} | ||
84 | .cm-s-default span.cm-string {color: #a11;} | ||
85 | .cm-s-default span.cm-string-2 {color: #f50;} | ||
86 | .cm-s-default span.cm-meta {color: #555;} | ||
87 | .cm-s-default span.cm-error {color: #f00;} | ||
88 | .cm-s-default span.cm-qualifier {color: #555;} | ||
89 | .cm-s-default span.cm-builtin {color: #30a;} | ||
90 | .cm-s-default span.cm-bracket {color: #cc7;} | ||
91 | .cm-s-default span.cm-tag {color: #170;} | ||
92 | .cm-s-default span.cm-attribute {color: #00c;} | ||
93 | .cm-s-default span.cm-header {color: #a0a;} | ||
94 | .cm-s-default span.cm-quote {color: #090;} | ||
95 | .cm-s-default span.cm-hr {color: #999;} | ||
96 | .cm-s-default span.cm-link {color: #00c;} | ||
97 | |||
98 | span.cm-header, span.cm-strong {font-weight: bold;} | ||
99 | span.cm-em {font-style: italic;} | ||
100 | span.cm-emstrong {font-style: italic; font-weight: bold;} | ||
101 | span.cm-link {text-decoration: underline;} | ||
102 | |||
103 | div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} | ||
104 | div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} | ||