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