template-min/template.html in jsduck-3.0.pre vs template-min/template.html in jsduck-3.0.pre2

@@ -5,19 +5,23 @@
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   <meta name="fragment" content="!">
 
   <link rel="shortcut icon" type="image/ico" href="favicon.ico" />
   <link rel="stylesheet" href="resources/css/app.css" type="text/css" />
+  <link rel="stylesheet" href="resources/prettify/prettify.css" type="text/css" />
   <!--[if IE]>
     <link rel="stylesheet" href="resources/css/ie.css" type="text/css" />
     <link rel="stylesheet" href="resources/css/welcome_ie6.css" type="text/css" />
   <![endif]-->
 
   <script type="text/javascript" src="http://use.typekit.com/uxj6dew.js"></script>
   <script type="text/javascript">try{Typekit.load();}catch(e){}</script>
-  <script type="text/javascript">Docs = {localStorageDb: "{local_storage_db}"};</script>
+  <script type="text/javascript">
+    Docs = {localStorageDb: "{local_storage_db}", showPrintButton: {show_print_button}};
+  </script>
   <script type="text/javascript" src="{extjs_path}"></script>
   <script type="text/javascript" src="app.js"></script>
+  <script type="text/javascript" src="resources/prettify/prettify.js"></script>
   <script type="text/javascript" src="data.js"></script>
 
   {head_html}
 
 </head>