@@ -12,9 +12,6 @@ $if(date-meta)$
1212$endif$
1313 <title>$if(title-prefix)$$title-prefix$ - $endif$$pagetitle$</title>
1414 <style type="text/css">code{white-space: pre;}</style>
15− <!--[if lt IE 9]>
16− <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
17− <![endif]-->
1815$if(quotes)$
1916 <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
2017$endif$
@@ -29,6 +26,9 @@ $endfor$
2926$if(math)$
3027 $math$
3128$endif$
29+ <!--[if lt IE 9]>
30+ <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
31+ <![endif]-->
3232$for(header-includes)$
3333 $header-includes$
3434$endfor$