diff options
| -rw-r--r-- | default.html5 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/default.html5 b/default.html5 index 14bff6286..7c8c85235 100644 --- a/default.html5 +++ b/default.html5 @@ -1,5 +1,5 @@ <!DOCTYPE html> -<html$if(lang)$ lang="$lang$"$endif$> +<html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$> <head> <meta charset="utf-8"> <meta name="generator" content="pandoc"> @@ -12,9 +12,6 @@ $if(date-meta)$ $endif$ <title>$if(title-prefix)$$title-prefix$ - $endif$$pagetitle$</title> <style type="text/css">code{white-space: pre;}</style> - <!--[if lt IE 9]> - <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script> - <![endif]--> $if(quotes)$ <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style> $endif$ @@ -29,6 +26,9 @@ $endfor$ $if(math)$ $math$ $endif$ + <!--[if lt IE 9]> + <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script> + <![endif]--> $for(header-includes)$ $header-includes$ $endfor$ |