{% compressed_css "book" %}
{% compressed_js "jquery" %}
{% compressed_js "book" %}
+ <!--[if IE]>
+ {% compressed_js "book_ie" %}
+ <![endif]-->
+
</head>
<body>
<div id="menu">
</ol>
</div>
{{ book.html_file.read|safe }}
+ {{ piwik_tag|safe }}
<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));