diff options
Diffstat (limited to 'js/highlight/tex.js')
-rw-r--r-- | js/highlight/tex.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/highlight/tex.js b/js/highlight/tex.js index 0c019a9b1..2b07ee4e0 100644 --- a/js/highlight/tex.js +++ b/js/highlight/tex.js @@ -1,2 +1,2 @@ (window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[169],{353:function(n,e){n.exports=function(n){var e={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:!0,relevance:0,contains:[{className:"string",variants:[{begin:/\[/,end:/\]/},{begin:/\{/,end:/\}/}]},{begin:/\s*=\s*/,endsWithParent:!0,relevance:0,contains:[{className:"number",begin:/-?\d*\.?\d+(pt|pc|mm|cm|in|dd|cc|ex|em)?/}]}]}}]};return{contains:[e,{className:"formula",contains:[e],relevance:0,variants:[{begin:/\$\$/,end:/\$\$/},{begin:/\$/,end:/\$/}]},n.COMMENT("%","$",{relevance:0})]}}}}]); -//# sourceMappingURL=tex.js.map?v=bfd2fed658c253488305
\ No newline at end of file +//# sourceMappingURL=tex.js.map?v=7b22e236ecda85d2e247
\ No newline at end of file |