aboutsummaryrefslogtreecommitdiff
path: root/js/codemirror/mode/css/index.html
diff options
context:
space:
mode:
authorPushkar Joshi2012-02-24 12:08:49 -0800
committerPushkar Joshi2012-02-24 12:08:49 -0800
commit03ca7a5ed13c25faaa9100bb666e062fd15335e6 (patch)
treec51112223ceb9121cd595a60335eb2795215590f /js/codemirror/mode/css/index.html
parentfcb12cc09eb3cd3b42bd215877ba18f449275b75 (diff)
parent053fc63a2950c7a5ee4ebf98033b64d474a3c46e (diff)
downloadninja-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.html56
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
19body {
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
31h1 {
32 font-size: 2.5em;
33}
34
35h2 {
36 font-size: 1.7em;
37}
38
39h1:before, h2:before {
40 content: "::";
41}
42
43code {
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>