annotate .cms/lib/codemirror/mode/stylus/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Stylus mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../addon/hint/show-hint.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="stylus.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="../../addon/hint/show-hint.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../../addon/hint/css-hint.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <style>.CodeMirror {background: #f8f8f8;} form{margin-bottom: .7em;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a class=active href="#">Stylus</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <h2>Stylus mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 /* Stylus mode */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 #id,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 .class,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 article
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 font-family Arial, sans-serif
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 #id,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 .class,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 article {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 font-family: Arial, sans-serif;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 // Variables
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 font-size-base = 16px
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 line-height-base = 1.5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 font-family-base = "Helvetica Neue", Helvetica, Arial, sans-serif
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 text-color = lighten(#000, 20%)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 body
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 font font-size-base/line-height-base font-family-base
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 color text-color
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 body {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 color: #333;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 // Variables
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 link-color = darken(#428bca, 6.5%)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 link-hover-color = darken(link-color, 15%)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 link-decoration = none
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 link-hover-decoration = false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 // Mixin
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 tab-focus()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 outline thin dotted
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 outline 5px auto -webkit-focus-ring-color
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 outline-offset -2px
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 a
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 color link-color
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 if link-decoration
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 text-decoration link-decoration
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 &:hover
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 &:focus
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 color link-hover-color
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 if link-hover-decoration
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 text-decoration link-hover-decoration
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 &:focus
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 tab-focus()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 a {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 color: #3782c4;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 text-decoration: none;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 a:hover,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 a:focus {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 color: #2f6ea7;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 a:focus {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 outline: thin dotted;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 outline: 5px auto -webkit-focus-ring-color;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 outline-offset: -2px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 </form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 extraKeys: {"Ctrl-Space": "autocomplete"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 tabSize: 2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 <p><strong>MIME types defined:</strong> <code>text/x-styl</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 <p>Created by <a href="https://github.com/dmitrykiselyov">Dmitry Kiselyov</a></p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 </article>