From 87f9ea00e4477b059453e8014693f621207c75eb Mon Sep 17 00:00:00 2001 From: Mark Otto Date: Thu, 30 Jun 2011 13:17:58 -0700 Subject: updated docs --- docs/assets/js/google-code-prettify/lang-tex.js | 1 + 1 file changed, 1 insertion(+) create mode 100644 docs/assets/js/google-code-prettify/lang-tex.js (limited to 'docs/assets/js/google-code-prettify/lang-tex.js') diff --git a/docs/assets/js/google-code-prettify/lang-tex.js b/docs/assets/js/google-code-prettify/lang-tex.js new file mode 100644 index 000000000..ce96fbbd1 --- /dev/null +++ b/docs/assets/js/google-code-prettify/lang-tex.js @@ -0,0 +1 @@ +PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\r \xa0]+/,null,"\t\n\r Â\xa0"],["com",/^%[^\n\r]*/,null,"%"]],[["kwd",/^\\[@-Za-z]+/],["kwd",/^\\./],["typ",/^[$&]/],["lit",/[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],["pun",/^[()=[\]{}]+/]]),["latex","tex"]); -- cgit v1.2.3