diff --git a/doc/template.html b/doc/template.html
index cb3c99c4fba..0f65b366f12 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -31,6 +31,5 @@
       var pageTracker = _gat._getTracker("UA-10874194-2");
       pageTracker._trackPageview();
       } catch(err) {}</script>
-  <script>highlight(undefined, undefined, 'pre');</script>
 </body>
 </html>