255 lines
25 KiB
Text
255 lines
25 KiB
Text
syntax "html" "\.html?$"
|
|
header "<!doctype html"
|
|
|
|
# Resets everything back to plain text coloring.
|
|
# Can be used at the start of each theme file.
|
|
color white "^.*$"
|
|
|
|
# Everything inside angle brackets is erroneous initially
|
|
# This will be fixed later by correct syntax
|
|
color brightyellow start="<" end=">"
|
|
# All ampersands are initially erroneous too
|
|
color brightyellow "&"
|
|
|
|
|
|
#
|
|
# Attributes
|
|
#
|
|
|
|
# Explicitly-erroneous attributes
|
|
color brightyellow "[[:space:]]*\<(pubdate|seamless)[[:space:]]*([=>]|$)"
|
|
# Global attributes
|
|
color red "[[:space:]]*\<(accesskey|contenteditable|contextmenu|dir|draggable|dropzone|hidden|id|lang|spellcheck|style|tabindex|title|translate)[[:space:]]*([=>]|$)"
|
|
color red "[[:space:]]*\<[Dd][Aa][Tt][Aa]-[a-z0-9_.]+(-[a-z0-9_.]+)*[[:space:]]*([=>]|$)"
|
|
# Element-specific attributes
|
|
color red "[[:space:]]*\<(accept(-charset)?|action|alt|async|auto(complete|focus|play)|challenge|charset|checked|cite|class|(col|row)(s|span)|content|controls|coords|crossorigin|data|datetime|default|defer|dirname|disabled|download|enctype|for|form(action)?|headers|height|high|href(lang)?|http-equiv|icon|ismap|keytype|kind|label|list|loop|low|manifest|max(length)?|media|method|min|multiple|muted|name|novalidate|open|optimum|pattern|placeholder|poster|preload|radiogroup|readonly|rel|required|reversed|sandbox|scoped?|selected|shape|sizes?|span|src(doc|lang)?|start|step|target|type(mustmatch)?|usemap|value|width|wrap)[[:space:]]*([=>]|$)"
|
|
# Attributes deprecated / not supported in HTML5
|
|
color white "[[:space:]]*\<(align|bgcolor|border|color|mediagroup)[[:space:]]*([=>]|$)"
|
|
# Event attributes
|
|
color cyan "[[:space:]]*\<on(abort|afterprint|before(print|unload)|blur|canplay(through)?|(cue|duration|hash|rate|volume)?change|(dbl)?click|contextmenu|copy|cut|drag(end|enter|leave|over|start)?|drop|emptied|ended|error|focus|input|invalid|key(down|press|up)|load(ed(meta)?data|start)?|mouse(down|move|out|over|up|wheel)|(off|on)line|page(hide|show)|paste|pause|play(ing)?|popstate|progress|reset|resize|scroll|search|seek(ed|ing)|select|show|stalled|storage|submit|suspend|timeupdate|toggle|unload|waiting|wheel)[[:space:]]*(=|$)"
|
|
|
|
|
|
#
|
|
# Elements
|
|
#
|
|
|
|
# Obsolete elements
|
|
color brightyellow "</?(bgsound|blink|command|eventsource|listing|nobr|plaintext|spacer|xmp)([[:space:]]+>?|>|[[:space:]]*$)"
|
|
# Normal elements valid in HTML5
|
|
color white "</?(a|abbr|address|article|aside|audio|b|bd[io]|blockquote|body|button|canvas|caption|cite|code|colgroup|datalist|d[dlt]|del|details|dfn|dialog|div|em|fieldset|figcaption|figure|footer|form|h[1-6]|head(er)?|hgroup|html|i|iframe|ins|kbd|label|legend|li|main|map|mark|menu|meter|nav|object|[ou]l|optgroup|option|output|p|pre|progress|q|r[pt]|ruby|s|samp|(no)?script|section|select|small|span|strong|style|su[bp]|summary|table|t(body|foot|head)|t[dhr]|template|textarea|time|title|u|var|video)([[:space:]]+>?|>|[[:space:]]*$)"
|
|
# Elements for which end tag is forbidden
|
|
color white "<(area|base|br|col|embed|hr|img|input|keygen|link|menuitem|meta|param|source|track|wbr)([[:space:]]+>?|>|[[:space:]]*$)"
|
|
# Elements deprecated in HTML5
|
|
color white "</?(acronym|applet|big|center|content|dir|(base)?font|frame(set)?|isindex|marquee|noframes|shadow|strike|tt)([[:space:]]+>?|>|[[:space:]]*$)"
|
|
|
|
#
|
|
# Strings and values
|
|
#
|
|
color green "=[[:space:]]*[]A-Za-z0-9!#$%()*+,./:;?@[\^_{|}~-][]A-Za-z0-9!"#$%'()*+,./:;?@[\^_{|}~-]*"
|
|
color yellow "="
|
|
# Make white spaces plain again
|
|
color white "[[:space:]]+"STRING: ""[^"]*"|'[^']*'"
|
|
color white start=">" end="<"
|
|
color white "[<>]"
|
|
|
|
# Embedded template languages
|
|
color blue "\{\{[^}]*\}\}|<%=.*%>"
|
|
color red start="<\?" end="\?>"
|
|
color red start="<%[^=]" end="%>"
|
|
color red start="\{%" end="%\}"
|
|
|
|
#
|
|
# Finally, character references and comments
|
|
#
|
|
color brightyellow "&[A-Za-z][A-Za-z0-9]*;"
|
|
color brightblack start="<!--" end="-->"
|
|
color brightblack "<!(doctype|DOCTYPE)[^>]*>"
|
|
color brightred "&#([0-9]+|[Xx][0-9A-Fa-f]+);"
|
|
# This section for character entity references is generated automatically.
|
|
# See included generate-rules-for-web-highlighting.sh script file (found in the scripts/
|
|
# directory) for more info on how this process can be repeated should
|
|
# the list of character entities be changed in the future
|
|
color brightred "&(Aacute|aacute|Abreve|abreve|ac|acd|acE|Acirc|acirc|acute|Acy|acy|AElig|aelig|af|Afr|afr|Agrave|agrave);"
|
|
color brightred "&(alefsym|aleph|Alpha|alpha|Amacr|amacr|amalg|AMP|amp|And|and|andand|andd|andslope|andv|ang|ange|angle);"
|
|
color brightred "&(angmsd|angmsdaa|angmsdab|angmsdac|angmsdad|angmsdae|angmsdaf|angmsdag|angmsdah|angrt|angrtvb|angrtvbd);"
|
|
color brightred "&(angsph|angst|angzarr|Aogon|aogon|Aopf|aopf|ap|apacir|apE|ape|apid|apos|ApplyFunction|approx|approxeq);"
|
|
color brightred "&(Aring|aring|Ascr|ascr|Assign|ast|asymp|asympeq|Atilde|atilde|Auml|auml|awconint|awint|backcong);"
|
|
color brightred "&(backepsilon|backprime|backsim|backsimeq|Backslash|Barv|barvee|Barwed|barwed|barwedge|bbrk|bbrktbrk);"
|
|
color brightred "&(bcong|Bcy|bcy|bdquo|becaus|Because|because|bemptyv|bepsi|bernou|Bernoullis|Beta|beta|beth|between|Bfr);"
|
|
color brightred "&(bfr|bigcap|bigcirc|bigcup|bigodot|bigoplus|bigotimes|bigsqcup|bigstar|bigtriangledown|bigtriangleup);"
|
|
color brightred "&(biguplus|bigvee|bigwedge|bkarow|blacklozenge|blacksquare|blacktriangle|blacktriangledown);"
|
|
color brightred "&(blacktriangleleft|blacktriangleright|blank|blk12|blk14|blk34|block|bne|bnequiv|bNot|bnot|Bopf|bopf|bot);"
|
|
color brightred "&(bottom|bowtie|boxbox|boxDL|boxDl|boxdL|boxdl|boxDR|boxDr|boxdR|boxdr|boxH|boxh|boxHD|boxHd|boxhD|boxhd);"
|
|
color brightred "&(boxHU|boxHu|boxhU|boxhu|boxminus|boxplus|boxtimes|boxUL|boxUl|boxuL|boxul|boxUR|boxUr|boxuR|boxur|boxV);"
|
|
color brightred "&(boxv|boxVH|boxVh|boxvH|boxvh|boxVL|boxVl|boxvL|boxvl|boxVR|boxVr|boxvR|boxvr|bprime|Breve|breve|brvbar);"
|
|
color brightred "&(Bscr|bscr|bsemi|bsim|bsime|bsol|bsolb|bsolhsub|bull|bullet|bump|bumpE|bumpe|Bumpeq|bumpeq|Cacute);"
|
|
color brightred "&(cacute|Cap|cap|capand|capbrcup|capcap|capcup|capdot|CapitalDifferentialD|caps|caret|caron|Cayleys);"
|
|
color brightred "&(ccaps|Ccaron|ccaron|Ccedil|ccedil|Ccirc|ccirc|Cconint|ccups|ccupssm|Cdot|cdot|cedil|Cedilla|cemptyv);"
|
|
color brightred "&(cent|CenterDot|centerdot|Cfr|cfr|CHcy|chcy|check|checkmark|Chi|chi|cir|circ|circeq|circlearrowleft);"
|
|
color brightred "&(circlearrowright|circledast|circledcirc|circleddash|CircleDot|circledR|circledS|CircleMinus|CirclePlus);"
|
|
color brightred "&(CircleTimes|cirE|cire|cirfnint|cirmid|cirscir|ClockwiseContourIntegral|CloseCurlyDoubleQuote);"
|
|
color brightred "&(CloseCurlyQuote|clubs|clubsuit|Colon|colon|Colone|colone|coloneq|comma|commat|comp|compfn|complement);"
|
|
color brightred "&(complexes|cong|congdot|Congruent|Conint|conint|ContourIntegral|Copf|copf|coprod|Coproduct|COPY|copy);"
|
|
color brightred "&(copysr|CounterClockwiseContourIntegral|crarr|Cross|cross|Cscr|cscr|csub|csube|csup|csupe|ctdot|cudarrl);"
|
|
color brightred "&(cudarrr|cuepr|cuesc|cularr|cularrp|Cup|cup|cupbrcap|CupCap|cupcap|cupcup|cupdot|cupor|cups|curarr);"
|
|
color brightred "&(curarrm|curlyeqprec|curlyeqsucc|curlyvee|curlywedge|curren|curvearrowleft|curvearrowright|cuvee|cuwed);"
|
|
color brightred "&(cwconint|cwint|cylcty|Dagger|dagger|daleth|Darr|dArr|darr|dash|Dashv|dashv|dbkarow|dblac|Dcaron|dcaron);"
|
|
color brightred "&(Dcy|dcy|DD|dd|ddagger|ddarr|DDotrahd|ddotseq|deg|Del|Delta|delta|demptyv|dfisht|Dfr|dfr|dHar|dharl);"
|
|
color brightred "&(dharr|DiacriticalAcute|DiacriticalDot|DiacriticalDoubleAcute|DiacriticalGrave|DiacriticalTilde|diam);"
|
|
color brightred "&(Diamond|diamond|diamondsuit|diams|die|DifferentialD|digamma|disin|div|divide|divideontimes|divonx|DJcy);"
|
|
color brightred "&(djcy|dlcorn|dlcrop|dollar|Dopf|dopf|Dot|dot|DotDot|doteq|doteqdot|DotEqual|dotminus|dotplus|dotsquare);"
|
|
color brightred "&(doublebarwedge|DoubleContourIntegral|DoubleDot|DoubleDownArrow|DoubleLeftArrow|DoubleLeftRightArrow);"
|
|
color brightred "&(DoubleLeftTee|DoubleLongLeftArrow|DoubleLongLeftRightArrow|DoubleLongRightArrow|DoubleRightArrow);"
|
|
color brightred "&(DoubleRightTee|DoubleUpArrow|DoubleUpDownArrow|DoubleVerticalBar|DownArrow|Downarrow|downarrow);"
|
|
color brightred "&(DownArrowBar|DownArrowUpArrow|DownBreve|downdownarrows|downharpoonleft|downharpoonright);"
|
|
color brightred "&(DownLeftRightVector|DownLeftTeeVector|DownLeftVector|DownLeftVectorBar|DownRightTeeVector);"
|
|
color brightred "&(DownRightVector|DownRightVectorBar|DownTee|DownTeeArrow|drbkarow|drcorn|drcrop|Dscr|dscr|DScy|dscy);"
|
|
color brightred "&(dsol|Dstrok|dstrok|dtdot|dtri|dtrif|duarr|duhar|dwangle|DZcy|dzcy|dzigrarr|Eacute|eacute|easter|Ecaron);"
|
|
color brightred "&(ecaron|ecir|Ecirc|ecirc|ecolon|Ecy|ecy|eDDot|Edot|eDot|edot|ee|efDot|Efr|efr|eg|Egrave|egrave|egs);"
|
|
color brightred "&(egsdot|el|Element|elinters|ell|els|elsdot|Emacr|emacr|empty|emptyset|EmptySmallSquare|emptyv);"
|
|
color brightred "&(EmptyVerySmallSquare|emsp|emsp13|emsp14|ENG|eng|ensp|Eogon|eogon|Eopf|eopf|epar|eparsl|eplus|epsi);"
|
|
color brightred "&(Epsilon|epsilon|epsiv|eqcirc|eqcolon|eqsim|eqslantgtr|eqslantless|Equal|equals|EqualTilde|equest);"
|
|
color brightred "&(Equilibrium|equiv|equivDD|eqvparsl|erarr|erDot|Escr|escr|esdot|Esim|esim|Eta|eta|ETH|eth|Euml|euml);"
|
|
color brightred "&(euro|excl|exist|Exists|expectation|ExponentialE|exponentiale|fallingdotseq|Fcy|fcy|female|ffilig|fflig);"
|
|
color brightred "&(ffllig|Ffr|ffr|filig|FilledSmallSquare|FilledVerySmallSquare|fjlig|flat|fllig|fltns|fnof|Fopf|fopf);"
|
|
color brightred "&(ForAll|forall|fork|forkv|Fouriertrf|fpartint|frac12|frac13|frac14|frac15|frac16|frac18|frac23|frac25);"
|
|
color brightred "&(frac34|frac35|frac38|frac45|frac56|frac58|frac78|frasl|frown|Fscr|fscr|gacute|Gamma|gamma|Gammad);"
|
|
color brightred "&(gammad|gap|Gbreve|gbreve|Gcedil|Gcirc|gcirc|Gcy|gcy|Gdot|gdot|gE|ge|gEl|gel|geq|geqq|geqslant|ges);"
|
|
color brightred "&(gescc|gesdot|gesdoto|gesdotol|gesl|gesles|Gfr|gfr|Gg|gg|ggg|gimel|GJcy|gjcy|gl|gla|glE|glj|gnap);"
|
|
color brightred "&(gnapprox|gnE|gne|gneq|gneqq|gnsim|Gopf|gopf|grave|GreaterEqual|GreaterEqualLess|GreaterFullEqual);"
|
|
color brightred "&(GreaterGreater|GreaterLess|GreaterSlantEqual|GreaterTilde|Gscr|gscr|gsim|gsime|gsiml|GT|Gt|gt|gtcc);"
|
|
color brightred "&(gtcir|gtdot|gtlPar|gtquest|gtrapprox|gtrarr|gtrdot|gtreqless|gtreqqless|gtrless|gtrsim|gvertneqq|gvnE);"
|
|
color brightred "&(Hacek|hairsp|half|hamilt|HARDcy|hardcy|hArr|harr|harrcir|harrw|Hat|hbar|Hcirc|hcirc|hearts|heartsuit);"
|
|
color brightred "&(hellip|hercon|Hfr|hfr|HilbertSpace|hksearow|hkswarow|hoarr|homtht|hookleftarrow|hookrightarrow|Hopf);"
|
|
color brightred "&(hopf|horbar|HorizontalLine|Hscr|hscr|hslash|Hstrok|hstrok|HumpDownHump|HumpEqual|hybull|hyphen|Iacute);"
|
|
color brightred "&(iacute|ic|Icirc|icirc|Icy|icy|Idot|IEcy|iecy|iexcl|iff|Ifr|ifr|Igrave|igrave|ii|iiiint|iiint|iinfin);"
|
|
color brightred "&(iiota|IJlig|ijlig|Im|Imacr|imacr|image|ImaginaryI|imagline|imagpart|imath|imof|imped|Implies|in|incare);"
|
|
color brightred "&(infin|infintie|inodot|Int|int|intcal|integers|Integral|intercal|Intersection|intlarhk|intprod);"
|
|
color brightred "&(InvisibleComma|InvisibleTimes|IOcy|iocy|Iogon|iogon|Iopf|iopf|Iota|iota|iprod|iquest|Iscr|iscr|isin);"
|
|
color brightred "&(isindot|isinE|isins|isinsv|isinv|it|Itilde|itilde|Iukcy|iukcy|Iuml|iuml|Jcirc|jcirc|Jcy|jcy|Jfr|jfr);"
|
|
color brightred "&(jmath|Jopf|jopf|Jscr|jscr|Jsercy|jsercy|Jukcy|jukcy|Kappa|kappa|kappav|Kcedil|kcedil|Kcy|kcy|Kfr|kfr);"
|
|
color brightred "&(kgreen|KHcy|khcy|KJcy|kjcy|Kopf|kopf|Kscr|kscr|lAarr|Lacute|lacute|laemptyv|lagran|Lambda|lambda|Lang);"
|
|
color brightred "&(lang|langd|langle|lap|Laplacetrf|laquo|Larr|lArr|larr|larrb|larrbfs|larrfs|larrhk|larrlp|larrpl);"
|
|
color brightred "&(larrsim|larrtl|lat|lAtail|latail|late|lates|lBarr|lbarr|lbbrk|lbrace|lbrack|lbrke|lbrksld|lbrkslu);"
|
|
color brightred "&(Lcaron|lcaron|Lcedil|lcedil|lceil|lcub|Lcy|lcy|ldca|ldquo|ldquor|ldrdhar|ldrushar|ldsh|lE|le);"
|
|
color brightred "&(LeftAngleBracket|LeftArrow|Leftarrow|leftarrow|LeftArrowBar|LeftArrowRightArrow|leftarrowtail);"
|
|
color brightred "&(LeftCeiling|LeftDoubleBracket|LeftDownTeeVector|LeftDownVector|LeftDownVectorBar|LeftFloor);"
|
|
color brightred "&(leftharpoondown|leftharpoonup|leftleftarrows|LeftRightArrow|Leftrightarrow|leftrightarrow);"
|
|
color brightred "&(leftrightarrows|leftrightharpoons|leftrightsquigarrow|LeftRightVector|LeftTee|LeftTeeArrow);"
|
|
color brightred "&(LeftTeeVector|leftthreetimes|LeftTriangle|LeftTriangleBar|LeftTriangleEqual|LeftUpDownVector);"
|
|
color brightred "&(LeftUpTeeVector|LeftUpVector|LeftUpVectorBar|LeftVector|LeftVectorBar|lEg|leg|leq|leqq|leqslant|les);"
|
|
color brightred "&(lescc|lesdot|lesdoto|lesdotor|lesg|lesges|lessapprox|lessdot|lesseqgtr|lesseqqgtr|LessEqualGreater);"
|
|
color brightred "&(LessFullEqual|LessGreater|lessgtr|LessLess|lesssim|LessSlantEqual|LessTilde|lfisht|lfloor|Lfr|lfr|lg);"
|
|
color brightred "&(lgE|lHar|lhard|lharu|lharul|lhblk|LJcy|ljcy|Ll|ll|llarr|llcorner|Lleftarrow|llhard|lltri|Lmidot|lmidot);"
|
|
color brightred "&(lmoust|lmoustache|lnap|lnapprox|lnE|lne|lneq|lneqq|lnsim|loang|loarr|lobrk|LongLeftArrow|Longleftarrow);"
|
|
color brightred "&(longleftarrow|LongLeftRightArrow|Longleftrightarrow|longleftrightarrow|longmapsto|LongRightArrow);"
|
|
color brightred "&(Longrightarrow|longrightarrow|looparrowleft|looparrowright|lopar|Lopf|lopf|loplus|lotimes|lowast);"
|
|
color brightred "&(lowbar|LowerLeftArrow|LowerRightArrow|loz|lozenge|lozf|lpar|lparlt|lrarr|lrcorner|lrhar|lrhard|lrm);"
|
|
color brightred "&(lrtri|lsaquo|Lscr|lscr|Lsh|lsh|lsim|lsime|lsimg|lsqb|lsquo|lsquor|Lstrok|lstrok|LT|Lt|lt|ltcc|ltcir);"
|
|
color brightred "&(ltdot|lthree|ltimes|ltlarr|ltquest|ltri|ltrie|ltrif|ltrPar|lurdshar|luruhar|lvertneqq|lvnE|macr|male);"
|
|
color brightred "&(malt|maltese|Map|map|mapsto|mapstodown|mapstoleft|mapstoup|marker|mcomma|Mcy|mcy|mdash|mDDot);"
|
|
color brightred "&(measuredangle|MediumSpace|Mellintrf|Mfr|mfr|mho|micro|mid|midast|midcir|middot|minus|minusb|minusd);"
|
|
color brightred "&(minusdu|MinusPlus|mlcp|mldr|mnplus|models|Mopf|mopf|mp|Mscr|mscr|mstpos|Mu|mu|multimap|mumap|nabla);"
|
|
color brightred "&(Nacute|nacute|nang|nap|napE|napid|napos|napprox|natur|natural|naturals|nbsp|nbump|nbumpe|ncap|Ncaron);"
|
|
color brightred "&(ncaron|Ncedil|ncedil|ncong|ncongdot|ncup|Ncy|ncy|ndash|ne|nearhk|neArr|nearr|nearrow|nedot);"
|
|
color brightred "&(NegativeMediumSpace|NegativeThickSpace|NegativeThinSpace|NegativeVeryThinSpace|nequiv|nesear|nesim);"
|
|
color brightred "&(NestedGreaterGreater|NestedLessLess|NewLine|nexist|nexists|Nfr|nfr|ngE|nge|ngeq|ngeqq|ngeqslant|nges);"
|
|
color brightred "&(nGg|ngsim|nGt|ngt|ngtr|nGtv|nhArr|nharr|nhpar|ni|nis|nisd|niv|NJcy|njcy|nlArr|nlarr|nldr|nlE|nle);"
|
|
color brightred "&(nLeftarrow|nleftarrow|nLeftrightarrow|nleftrightarrow|nleq|nleqq|nleqslant|nles|nless|nLl|nlsim|nLt);"
|
|
color brightred "&(nlt|nltri|nltrie|nLtv|nmid|NoBreak|NonBreakingSpace|Nopf|nopf|Not|not|NotCongruent|NotCupCap);"
|
|
color brightred "&(NotDoubleVerticalBar|NotElement|NotEqual|NotEqualTilde|NotExists|NotGreater|NotGreaterEqual);"
|
|
color brightred "&(NotGreaterFullEqual|NotGreaterGreater|NotGreaterLess|NotGreaterSlantEqual|NotGreaterTilde);"
|
|
color brightred "&(NotHumpDownHump|NotHumpEqual|notin|notindot|notinE|notinva|notinvb|notinvc|NotLeftTriangle);"
|
|
color brightred "&(NotLeftTriangleBar|NotLeftTriangleEqual|NotLess|NotLessEqual|NotLessGreater|NotLessLess);"
|
|
color brightred "&(NotLessSlantEqual|NotLessTilde|NotNestedGreaterGreater|NotNestedLessLess|notni|notniva|notnivb|notnivc);"
|
|
color brightred "&(NotPrecedes|NotPrecedesEqual|NotPrecedesSlantEqual|NotReverseElement|NotRightTriangle);"
|
|
color brightred "&(NotRightTriangleBar|NotRightTriangleEqual|NotSquareSubset|NotSquareSubsetEqual|NotSquareSuperset);"
|
|
color brightred "&(NotSquareSupersetEqual|NotSubset|NotSubsetEqual|NotSucceeds|NotSucceedsEqual|NotSucceedsSlantEqual);"
|
|
color brightred "&(NotSucceedsTilde|NotSuperset|NotSupersetEqual|NotTilde|NotTildeEqual|NotTildeFullEqual|NotTildeTilde);"
|
|
color brightred "&(NotVerticalBar|npar|nparallel|nparsl|npart|npolint|npr|nprcue|npre|nprec|npreceq|nrArr|nrarr|nrarrc);"
|
|
color brightred "&(nrarrw|nRightarrow|nrightarrow|nrtri|nrtrie|nsc|nsccue|nsce|Nscr|nscr|nshortmid|nshortparallel|nsim);"
|
|
color brightred "&(nsime|nsimeq|nsmid|nspar|nsqsube|nsqsupe|nsub|nsubE|nsube|nsubset|nsubseteq|nsubseteqq|nsucc|nsucceq);"
|
|
color brightred "&(nsup|nsupE|nsupe|nsupset|nsupseteq|nsupseteqq|ntgl|Ntilde|ntilde|ntlg|ntriangleleft|ntrianglelefteq);"
|
|
color brightred "&(ntriangleright|ntrianglerighteq|Nu|nu|num|numero|numsp|nvap|nVDash|nVdash|nvDash|nvdash|nvge|nvgt);"
|
|
color brightred "&(nvHarr|nvinfin|nvlArr|nvle|nvlt|nvltrie|nvrArr|nvrtrie|nvsim|nwarhk|nwArr|nwarr|nwarrow|nwnear|Oacute);"
|
|
color brightred "&(oacute|oast|ocir|Ocirc|ocirc|Ocy|ocy|odash|Odblac|odblac|odiv|odot|odsold|OElig|oelig|ofcir|Ofr|ofr);"
|
|
color brightred "&(ogon|Ograve|ograve|ogt|ohbar|ohm|oint|olarr|olcir|olcross|oline|olt|Omacr|omacr|Omega|omega|Omicron);"
|
|
color brightred "&(omicron|omid|ominus|Oopf|oopf|opar|OpenCurlyDoubleQuote|OpenCurlyQuote|operp|oplus|Or|or|orarr|ord);"
|
|
color brightred "&(order|orderof|ordf|ordm|origof|oror|orslope|orv|oS|Oscr|oscr|Oslash|oslash|osol|Otilde|otilde|Otimes);"
|
|
color brightred "&(otimes|otimesas|Ouml|ouml|ovbar|OverBar|OverBrace|OverBracket|OverParenthesis|par|para|parallel|parsim);"
|
|
color brightred "&(parsl|part|PartialD|Pcy|pcy|percnt|period|permil|perp|pertenk|Pfr|pfr|Phi|phi|phiv|phmmat|phone|Pi|pi);"
|
|
color brightred "&(pitchfork|piv|planck|planckh|plankv|plus|plusacir|plusb|pluscir|plusdo|plusdu|pluse|PlusMinus|plusmn);"
|
|
color brightred "&(plussim|plustwo|pm|Poincareplane|pointint|Popf|popf|pound|Pr|pr|prap|prcue|prE|pre|prec|precapprox);"
|
|
color brightred "&(preccurlyeq|Precedes|PrecedesEqual|PrecedesSlantEqual|PrecedesTilde|preceq|precnapprox|precneqq);"
|
|
color brightred "&(precnsim|precsim|Prime|prime|primes|prnap|prnE|prnsim|prod|Product|profalar|profline|profsurf|prop);"
|
|
color brightred "&(Proportion|Proportional|propto|prsim|prurel|Pscr|pscr|Psi|psi|puncsp|Qfr|qfr|qint|Qopf|qopf|qprime);"
|
|
color brightred "&(Qscr|qscr|quaternions|quatint|quest|questeq|QUOT|quot|rAarr|race|Racute|racute|radic|raemptyv|Rang);"
|
|
color brightred "&(rang|rangd|range|rangle|raquo|Rarr|rArr|rarr|rarrap|rarrb|rarrbfs|rarrc|rarrfs|rarrhk|rarrlp|rarrpl);"
|
|
color brightred "&(rarrsim|Rarrtl|rarrtl|rarrw|rAtail|ratail|ratio|rationals|RBarr|rBarr|rbarr|rbbrk|rbrace|rbrack|rbrke);"
|
|
color brightred "&(rbrksld|rbrkslu|Rcaron|rcaron|Rcedil|rcedil|rceil|rcub|Rcy|rcy|rdca|rdldhar|rdquo|rdquor|rdsh|Re|real);"
|
|
color brightred "&(realine|realpart|reals|rect|REG|reg|ReverseElement|ReverseEquilibrium|ReverseUpEquilibrium|rfisht);"
|
|
color brightred "&(rfloor|Rfr|rfr|rHar|rhard|rharu|rharul|Rho|rho|rhov|RightAngleBracket|RightArrow|Rightarrow|rightarrow);"
|
|
color brightred "&(RightArrowBar|RightArrowLeftArrow|rightarrowtail|RightCeiling|RightDoubleBracket|RightDownTeeVector);"
|
|
color brightred "&(RightDownVector|RightDownVectorBar|RightFloor|rightharpoondown|rightharpoonup|rightleftarrows);"
|
|
color brightred "&(rightleftharpoons|rightrightarrows|rightsquigarrow|RightTee|RightTeeArrow|RightTeeVector);"
|
|
color brightred "&(rightthreetimes|RightTriangle|RightTriangleBar|RightTriangleEqual|RightUpDownVector|RightUpTeeVector);"
|
|
color brightred "&(RightUpVector|RightUpVectorBar|RightVector|RightVectorBar|ring|risingdotseq|rlarr|rlhar|rlm|rmoust);"
|
|
color brightred "&(rmoustache|rnmid|roang|roarr|robrk|ropar|Ropf|ropf|roplus|rotimes|RoundImplies|rpar|rpargt|rppolint);"
|
|
color brightred "&(rrarr|Rrightarrow|rsaquo|Rscr|rscr|Rsh|rsh|rsqb|rsquo|rsquor|rthree|rtimes|rtri|rtrie|rtrif|rtriltri);"
|
|
color brightred "&(RuleDelayed|ruluhar|rx|Sacute|sacute|sbquo|Sc|sc|scap|Scaron|scaron|sccue|scE|sce|Scedil|scedil|Scirc);"
|
|
color brightred "&(scirc|scnap|scnE|scnsim|scpolint|scsim|Scy|scy|sdot|sdotb|sdote|searhk|seArr|searr|searrow|sect|semi);"
|
|
color brightred "&(seswar|setminus|setmn|sext|Sfr|sfr|sfrown|sharp|SHCHcy|shchcy|SHcy|shcy|ShortDownArrow|ShortLeftArrow);"
|
|
color brightred "&(shortmid|shortparallel|ShortRightArrow|ShortUpArrow|shy|Sigma|sigma|sigmaf|sigmav|sim|simdot|sime);"
|
|
color brightred "&(simeq|simg|simgE|siml|simlE|simne|simplus|simrarr|slarr|SmallCircle|smallsetminus|smashp|smeparsl|smid);"
|
|
color brightred "&(smile|smt|smte|smtes|SOFTcy|softcy|sol|solb|solbar|Sopf|sopf|spades|spadesuit|spar|sqcap|sqcaps|sqcup);"
|
|
color brightred "&(sqcups|Sqrt|sqsub|sqsube|sqsubset|sqsubseteq|sqsup|sqsupe|sqsupset|sqsupseteq|squ|Square|square);"
|
|
color brightred "&(SquareIntersection|SquareSubset|SquareSubsetEqual|SquareSuperset|SquareSupersetEqual|SquareUnion);"
|
|
color brightred "&(squarf|squf|srarr|Sscr|sscr|ssetmn|ssmile|sstarf|Star|star|starf|straightepsilon|straightphi|strns|Sub);"
|
|
color brightred "&(sub|subdot|subE|sube|subedot|submult|subnE|subne|subplus|subrarr|Subset|subset|subseteq|subseteqq);"
|
|
color brightred "&(SubsetEqual|subsetneq|subsetneqq|subsim|subsub|subsup|succ|succapprox|succcurlyeq|Succeeds);"
|
|
color brightred "&(SucceedsEqual|SucceedsSlantEqual|SucceedsTilde|succeq|succnapprox|succneqq|succnsim|succsim|SuchThat);"
|
|
color brightred "&(Sum|sum|sung|Sup|sup|sup1|sup2|sup3|supdot|supdsub|supE|supe|supedot|Superset|SupersetEqual|suphsol);"
|
|
color brightred "&(suphsub|suplarr|supmult|supnE|supne|supplus|Supset|supset|supseteq|supseteqq|supsetneq|supsetneqq);"
|
|
color brightred "&(supsim|supsub|supsup|swarhk|swArr|swarr|swarrow|swnwar|szlig|Tab|target|Tau|tau|tbrk|Tcaron|tcaron);"
|
|
color brightred "&(Tcedil|tcedil|Tcy|tcy|tdot|telrec|Tfr|tfr|there4|Therefore|therefore|Theta|theta|thetasym|thetav);"
|
|
color brightred "&(thickapprox|thicksim|ThickSpace|thinsp|ThinSpace|thkap|thksim|THORN|thorn|Tilde|tilde|TildeEqual);"
|
|
color brightred "&(TildeFullEqual|TildeTilde|times|timesb|timesbar|timesd|tint|toea|top|topbot|topcir|Topf|topf|topfork);"
|
|
color brightred "&(tosa|tprime|TRADE|trade|triangle|triangledown|triangleleft|trianglelefteq|triangleq|triangleright);"
|
|
color brightred "&(trianglerighteq|tridot|trie|triminus|TripleDot|triplus|trisb|tritime|trpezium|Tscr|tscr|TScy|tscy);"
|
|
color brightred "&(TSHcy|tshcy|Tstrok|tstrok|twixt|twoheadleftarrow|twoheadrightarrow|Uacute|uacute|Uarr|uArr|uarr);"
|
|
color brightred "&(Uarrocir|Ubrcy|ubrcy|Ubreve|ubreve|Ucirc|ucirc|Ucy|ucy|udarr|Udblac|udblac|udhar|ufisht|Ufr|ufr|Ugrave);"
|
|
color brightred "&(ugrave|uHar|uharl|uharr|uhblk|ulcorn|ulcorner|ulcrop|ultri|Umacr|umacr|uml|UnderBar|UnderBrace);"
|
|
color brightred "&(UnderBracket|UnderParenthesis|Union|UnionPlus|Uogon|uogon|Uopf|uopf|UpArrow|Uparrow|uparrow|UpArrowBar);"
|
|
color brightred "&(UpArrowDownArrow|UpDownArrow|Updownarrow|updownarrow|UpEquilibrium|upharpoonleft|upharpoonright|uplus);"
|
|
color brightred "&(UpperLeftArrow|UpperRightArrow|Upsi|upsi|upsih|Upsilon|upsilon|UpTee|UpTeeArrow|upuparrows|urcorn);"
|
|
color brightred "&(urcorner|urcrop|Uring|uring|urtri|Uscr|uscr|utdot|Utilde|utilde|utri|utrif|uuarr|Uuml|uuml|uwangle);"
|
|
color brightred "&(vangrt|varepsilon|varkappa|varnothing|varphi|varpi|varpropto|vArr|varr|varrho|varsigma|varsubsetneq);"
|
|
color brightred "&(varsubsetneqq|varsupsetneq|varsupsetneqq|vartheta|vartriangleleft|vartriangleright|Vbar|vBar|vBarv|Vcy);"
|
|
color brightred "&(vcy|VDash|Vdash|vDash|vdash|Vdashl|Vee|vee|veebar|veeeq|vellip|Verbar|verbar|Vert|vert|VerticalBar);"
|
|
color brightred "&(VerticalLine|VerticalSeparator|VerticalTilde|VeryThinSpace|Vfr|vfr|vltri|vnsub|vnsup|Vopf|vopf|vprop);"
|
|
color brightred "&(vrtri|Vscr|vscr|vsubnE|vsubne|vsupnE|vsupne|Vvdash|vzigzag|Wcirc|wcirc|wedbar|Wedge|wedge|wedgeq);"
|
|
color brightred "&(weierp|Wfr|wfr|Wopf|wopf|wp|wr|wreath|Wscr|wscr|xcap|xcirc|xcup|xdtri|Xfr|xfr|xhArr|xharr|Xi|xi|xlArr);"
|
|
color brightred "&(xlarr|xmap|xnis|xodot|Xopf|xopf|xoplus|xotime|xrArr|xrarr|Xscr|xscr|xsqcup|xuplus|xutri|xvee|xwedge);"
|
|
color brightred "&(Yacute|yacute|YAcy|yacy|Ycirc|ycirc|Ycy|ycy|yen|Yfr|yfr|YIcy|yicy|Yopf|yopf|Yscr|yscr|YUcy|yucy|Yuml);"
|
|
color brightred "&(yuml|Zacute|zacute|Zcaron|zcaron|Zcy|zcy|Zdot|zdot|zeetrf|ZeroWidthSpace|Zeta|zeta|Zfr|zfr|ZHcy|zhcy);"
|
|
color brightred "&(zigrarr|Zopf|zopf|Zscr|zscr|zwj|zwnj);"
|
|
color ,red "[[:space:]]+$"
|
|
color brightyellow " + +| + +"
|
|
|
|
# rainbow indent
|
|
color ,brightblack "^[[:space:]]{32}"
|
|
color ,black "^[[:space:]]{30}"
|
|
color ,brightblack "^[[:space:]]{28}"
|
|
color ,black "^[[:space:]]{26}"
|
|
color ,brightblack "^[[:space:]]{24}"
|
|
color ,black "^[[:space:]]{22}"
|
|
color ,brightblack "^[[:space:]]{20}"
|
|
color ,black "^[[:space:]]{18}"
|
|
color ,brightblack "^[[:space:]]{16}"
|
|
color ,black "^[[:space:]]{14}"
|
|
color ,brightblack "^[[:space:]]{12}"
|
|
color ,black "^[[:space:]]{10}"
|
|
color ,brightblack "^[[:space:]]{8}"
|
|
color ,black "^[[:space:]]{6}"
|
|
color ,brightblack "^[[:space:]]{4}"
|
|
color ,black "^[[:space:]]{2}"
|