annotate .cms/lib/codemirror/theme/ttcn.css @ 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 .cm-s-ttcn .cm-quote { color: #090; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 .cm-s-ttcn .cm-negative { color: #d44; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 .cm-s-ttcn .cm-positive { color: #292; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 .cm-s-ttcn .cm-header, .cm-strong { font-weight: bold; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 .cm-s-ttcn .cm-em { font-style: italic; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 .cm-s-ttcn .cm-link { text-decoration: underline; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 .cm-s-ttcn .cm-strikethrough { text-decoration: line-through; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 .cm-s-ttcn .cm-header { color: #00f; font-weight: bold; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 .cm-s-ttcn .cm-atom { color: #219; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 .cm-s-ttcn .cm-attribute { color: #00c; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 .cm-s-ttcn .cm-bracket { color: #997; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 .cm-s-ttcn .cm-comment { color: #333333; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 .cm-s-ttcn .cm-def { color: #00f; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 .cm-s-ttcn .cm-em { font-style: italic; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 .cm-s-ttcn .cm-error { color: #f00; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 .cm-s-ttcn .cm-hr { color: #999; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 .cm-s-ttcn .cm-invalidchar { color: #f00; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 .cm-s-ttcn .cm-keyword { font-weight:bold; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 .cm-s-ttcn .cm-link { color: #00c; text-decoration: underline; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 .cm-s-ttcn .cm-meta { color: #555; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 .cm-s-ttcn .cm-negative { color: #d44; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 .cm-s-ttcn .cm-positive { color: #292; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 .cm-s-ttcn .cm-qualifier { color: #555; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 .cm-s-ttcn .cm-strikethrough { text-decoration: line-through; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 .cm-s-ttcn .cm-string { color: #006400; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 .cm-s-ttcn .cm-string-2 { color: #f50; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 .cm-s-ttcn .cm-strong { font-weight: bold; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 .cm-s-ttcn .cm-tag { color: #170; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 .cm-s-ttcn .cm-variable { color: #8B2252; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 .cm-s-ttcn .cm-variable-2 { color: #05a; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 .cm-s-ttcn .cm-variable-3, .cm-s-ttcn .cm-type { color: #085; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 .cm-s-ttcn .cm-invalidchar { color: #f00; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 /* ASN */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 .cm-s-ttcn .cm-accessTypes,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 .cm-s-ttcn .cm-compareTypes { color: #27408B; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 .cm-s-ttcn .cm-cmipVerbs { color: #8B2252; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 .cm-s-ttcn .cm-modifier { color:#D2691E; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 .cm-s-ttcn .cm-status { color:#8B4545; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 .cm-s-ttcn .cm-storage { color:#A020F0; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 .cm-s-ttcn .cm-tags { color:#006400; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 /* CFG */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 .cm-s-ttcn .cm-externalCommands { color: #8B4545; font-weight:bold; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 .cm-s-ttcn .cm-fileNCtrlMaskOptions,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 .cm-s-ttcn .cm-sectionTitle { color: #2E8B57; font-weight:bold; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 /* TTCN */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 .cm-s-ttcn .cm-booleanConsts,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 .cm-s-ttcn .cm-otherConsts,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 .cm-s-ttcn .cm-verdictConsts { color: #006400; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 .cm-s-ttcn .cm-configOps,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 .cm-s-ttcn .cm-functionOps,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 .cm-s-ttcn .cm-portOps,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 .cm-s-ttcn .cm-sutOps,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 .cm-s-ttcn .cm-timerOps,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 .cm-s-ttcn .cm-verdictOps { color: #0000FF; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 .cm-s-ttcn .cm-preprocessor,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 .cm-s-ttcn .cm-templateMatch,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 .cm-s-ttcn .cm-ttcn3Macros { color: #27408B; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 .cm-s-ttcn .cm-types { color: #A52A2A; font-weight:bold; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 .cm-s-ttcn .cm-visibilityModifiers { font-weight:bold; }