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 /js/codemirror/mode/css/index.html | |
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 'js/codemirror/mode/css/index.html')
-rw-r--r-- | js/codemirror/mode/css/index.html | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/js/codemirror/mode/css/index.html b/js/codemirror/mode/css/index.html deleted file mode 100644 index 7d01e366..00000000 --- a/js/codemirror/mode/css/index.html +++ /dev/null | |||
@@ -1,56 +0,0 @@ | |||
1 | <!doctype html> | ||
2 | <html> | ||
3 | <head> | ||
4 | <title>CodeMirror 2: CSS mode</title> | ||
5 | <link rel="stylesheet" href="../../lib/codemirror.css"> | ||
6 | <script src="../../lib/codemirror.js"></script> | ||
7 | <script src="css.js"></script> | ||
8 | <link rel="stylesheet" href="../../theme/default.css"> | ||
9 | <style>.CodeMirror {background: #f8f8f8;}</style> | ||
10 | <link rel="stylesheet" href="../../css/docs.css"> | ||
11 | </head> | ||
12 | <body> | ||
13 | <h1>CodeMirror 2: CSS mode</h1> | ||
14 | <form><textarea id="code" name="code"> | ||
15 | /* Some example CSS */ | ||
16 | |||
17 | @import url("something.css"); | ||
18 | |||
19 | body { | ||
20 | margin: 0; | ||
21 | padding: 3em 6em; | ||
22 | font-family: tahoma, arial, sans-serif; | ||
23 | color: #000; | ||
24 | } | ||
25 | |||
26 | #navigation a { | ||
27 | font-weight: bold; | ||
28 | text-decoration: none !important; | ||
29 | } | ||
30 | |||
31 | h1 { | ||
32 | font-size: 2.5em; | ||
33 | } | ||
34 | |||
35 | h2 { | ||
36 | font-size: 1.7em; | ||
37 | } | ||
38 | |||
39 | h1:before, h2:before { | ||
40 | content: "::"; | ||
41 | } | ||
42 | |||
43 | code { | ||
44 | font-family: courier, monospace; | ||
45 | font-size: 80%; | ||
46 | color: #418A8A; | ||
47 | } | ||
48 | </textarea></form> | ||
49 | <script> | ||
50 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), {}); | ||
51 | </script> | ||
52 | |||
53 | <p><strong>MIME types defined:</strong> <code>text/css</code>.</p> | ||
54 | |||
55 | </body> | ||
56 | </html> | ||