1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
| module.exports = function(hljs) {
| var COMMAND = {
| className: 'tag',
| begin: /\\/,
| relevance: 0,
| contains: [
| {
| className: 'name',
| variants: [
| {begin: /[a-zA-Z\u0430-\u044f\u0410-\u042f]+[*]?/},
| {begin: /[^a-zA-Z\u0430-\u044f\u0410-\u042f0-9]/}
| ],
| starts: {
| endsWithParent: true,
| relevance: 0,
| contains: [
| {
| className: 'string', // because it looks like attributes in HTML tags
| variants: [
| {begin: /\[/, end: /\]/},
| {begin: /\{/, end: /\}/}
| ]
| },
| {
| begin: /\s*=\s*/, endsWithParent: true,
| relevance: 0,
| contains: [
| {
| className: 'number',
| begin: /-?\d*\.?\d+(pt|pc|mm|cm|in|dd|cc|ex|em)?/
| }
| ]
| }
| ]
| }
| }
| ]
| };
|
| return {
| contains: [
| COMMAND,
| {
| className: 'formula',
| contains: [COMMAND],
| relevance: 0,
| variants: [
| {begin: /\$\$/, end: /\$\$/},
| {begin: /\$/, end: /\$/}
| ]
| },
| hljs.COMMENT(
| '%',
| '$',
| {
| relevance: 0
| }
| )
| ]
| };
| };
|
|
