diff options
| -rw-r--r-- | default.html5 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/default.html5 b/default.html5 index b0e4d6cde..7c8c85235 100644 --- a/default.html5 +++ b/default.html5 @@ -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="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.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$ |