annotate .cms/lib/codemirror/mode/css/gss.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: Closure Stylesheets (GSS) 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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <link rel="stylesheet" href="../../addon/hint/show-hint.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="css.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <script src="../../addon/hint/show-hint.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <script src="../../addon/hint/css-hint.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <style>.CodeMirror {background: #f8f8f8;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <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
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <li><a class=active href="#">Closure Stylesheets (GSS)</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <h2>Closure Stylesheets (GSS) mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 /* Some example Closure Stylesheets */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 @provide 'some.styles';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 @require 'other.styles';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 @component {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 @def FONT_FAMILY "Times New Roman", Georgia, Serif;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 @def FONT_SIZE_NORMAL 15px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 @def FONT_NORMAL normal FONT_SIZE_NORMAL FONT_FAMILY;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 @def BG_COLOR rgb(235, 239, 249);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 @def DIALOG_BORDER_COLOR rgb(107, 144, 218);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 @def DIALOG_BG_COLOR BG_COLOR;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 @def LEFT_HAND_NAV_WIDTH 180px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 @def LEFT_HAND_NAV_PADDING 3px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 @defmixin size(WIDTH, HEIGHT) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 width: WIDTH;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 height: HEIGHT;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 body {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 background-color: BG_COLOR;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 margin: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 padding: 3em 6em;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 font: FONT_NORMAL;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 color: #000;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 #navigation a {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 font-weight: bold;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 text-decoration: none !important;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 .dialog {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 background-color: DIALOG_BG_COLOR;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 border: 1px solid DIALOG_BORDER_COLOR;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 .content {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 position: absolute;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 margin-left: add(LEFT_HAND_NAV_PADDING, /* padding left */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 LEFT_HAND_NAV_WIDTH,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 LEFT_HAND_NAV_PADDING); /* padding right */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 .logo {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 @mixin size(150px, 55px);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 background-image: url('http://www.google.com/images/logo_sm.gif');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 extraKeys: {"Ctrl-Space": "autocomplete"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 matchBrackets: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 mode: "text/x-gss"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 <p>A mode for <a href="https://github.com/google/closure-stylesheets">Closure Stylesheets</a> (GSS).</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 <p><strong>MIME type defined:</strong> <code>text/x-gss</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 <p><strong>Parsing/Highlighting Tests:</strong> <a href="../../test/index.html#gss_*">normal</a>, <a href="../../test/index.html#verbose,gss_*">verbose</a>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 </article>