2017-01-08 13:27:37 +03:00
|
|
|
## Here is an example for HTML.
|
2014-05-17 00:21:34 +04:00
|
|
|
|
2018-02-07 13:25:46 +03:00
|
|
|
syntax html "\.html?$"
|
2017-11-19 13:10:53 +03:00
|
|
|
magic "HTML document"
|
2016-05-25 23:13:50 +03:00
|
|
|
comment "<!--|-->"
|
2014-05-17 00:21:34 +04:00
|
|
|
|
2017-01-08 13:27:37 +03:00
|
|
|
# Tags:
|
2017-08-03 22:14:23 +03:00
|
|
|
color cyan "<[[:alpha:]/!?][^>]*>"
|
2017-01-08 13:27:37 +03:00
|
|
|
# Bold, italic, and underlined:
|
|
|
|
color brightmagenta "</?[biu]>"
|
|
|
|
|
|
|
|
# Named character references:
|
2014-02-22 22:57:24 +04:00
|
|
|
color red "&[^;[:space:]]*;"
|
2017-01-08 13:27:37 +03:00
|
|
|
# Strings:
|
2014-02-22 22:57:24 +04:00
|
|
|
color green ""(\\.|[^"])*""
|
2016-05-25 23:13:50 +03:00
|
|
|
|
2017-01-08 13:27:37 +03:00
|
|
|
# Attributes:
|
|
|
|
color red "(abbr|accept(-charset)?|accesskey|action|alink|align|alt|archive|axis|background|bgcolor|border)="
|
|
|
|
color red "(cell(padding|spacing)|char(off|set)?|checked|cite|class(id)?|compact|code(base|tag)?|cols(pan)?)="
|
|
|
|
color red "(content(editable)?|contextmenu|coords|data|datetime|declare|defer|dir|disabled|enctype)="
|
|
|
|
color red "(for|frame(border)?|headers|height|hidden|href(lang)?|hspace|http-equiv|id|ismap)="
|
|
|
|
color red "(label|lang|link|longdesc|margin(height|width)|maxlength|media|method|multiple)="
|
|
|
|
color red "(name|nohref|noresize|noshade|object|onclick|onfocus|onload|onmouseover|profile|readonly|rel|rev)="
|
|
|
|
color red "(rows(pan)?|rules|scheme|scope|scrolling|selected|shape|size|span|src|standby|start|style|summary)="
|
|
|
|
color red "(tabindex|target|text|title|type|usemap|valign|value(type)?|vlink|vspace|width|xmlns|xml:space)="
|
|
|
|
|
|
|
|
# Comments:
|
2016-05-25 23:13:50 +03:00
|
|
|
color yellow start="<!--" end="-->"
|