diff -r 3e122c7af4b48e8a362548d517bc9283e5897a2a -r 8e8a89089f50371260ae7fc7ea4f4435c6321b84 indefero/src/IDF/templates/idf/base.html
--- a/indefero/src/IDF/templates/idf/base.html	Wed Jul 24 23:14:15 2013 -0500
+++ b/indefero/src/IDF/templates/idf/base.html	Thu Aug 01 22:29:56 2013 -0500
@@ -27,6 +27,7 @@
   <link rel="stylesheet" type="text/css" href="{media '/idf/css/yui.css'}" />
   <link rel="stylesheet" type="text/css" href="{media '/idf/css/style.css'}" />
   <link rel="icon" type="image/png" href="{media '/idf/img/favicon.png'}" />
+   <link rel="stylesheet" type="text/css" href="{media '/idf/css/prettify.css'}" />
   <!--[if lt IE 7]>
   <link rel="stylesheet" type="text/css" href="{media '/idf/css/ie6.css'}" />
   <![endif]-->
@@ -110,5 +111,8 @@
 });
 //]]>{/literal}
 </script>{/if}
+<script type="text/javascript" src="{media '/idf/js/prettify.js'}"></script>
+<script type="text/javascript">prettyPrint();</script>
+<script type="text/javascript" src="{media '/idf/js/allowtabs.js'}"></script>
 </body>
 </html>