diff options
| author | Mark Otto <[email protected]> | 2011-06-30 13:36:47 -0700 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2011-06-30 13:36:47 -0700 |
| commit | cde63b98bc97595e47a15b3178097f89edb7c6c7 (patch) | |
| tree | b66df0693827c8b28b1a2785b535f36d1ded1327 /docs/assets/js/google-code-prettify/lang-tex.js | |
| parent | 87f9ea00e4477b059453e8014693f621207c75eb (diff) | |
| download | bootstrap-cde63b98bc97595e47a15b3178097f89edb7c6c7.tar.xz bootstrap-cde63b98bc97595e47a15b3178097f89edb7c6c7.zip | |
remove unnecessary js lang files from prettify, update styles for prettify
Diffstat (limited to 'docs/assets/js/google-code-prettify/lang-tex.js')
| -rw-r--r-- | docs/assets/js/google-code-prettify/lang-tex.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/assets/js/google-code-prettify/lang-tex.js b/docs/assets/js/google-code-prettify/lang-tex.js deleted file mode 100644 index ce96fbbd1..000000000 --- a/docs/assets/js/google-code-prettify/lang-tex.js +++ /dev/null @@ -1 +0,0 @@ -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"]); |