@@ -1,5 +1,5 @@
11<!DOCTYPE html>
2−<html$if(lang)$ lang="$lang$"$endif$>
2+<html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$>
33<head>
44 <meta charset="utf-8">
55 <meta name="generator" content="pandoc">
@@ -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="http://html5shim.googlecode.com/svn/trunk/html5.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$