check for prettyprint on window

diff --git a/docs/assets/js/application.js b/docs/assets/js/application.js
index c8e796a398a3999773be4eddb75d43f7115e8c82..eae84b138fe1ba889146997712e9991bfa941ed5 100644 (file)
--- a/docs/assets/js/application.js
+++ b/docs/assets/js/application.js
@@ -17,7 +17,7 @@ $(function(){
   // ==================
 
   // make code pretty
-  prettyPrint && prettyPrint()
+  window.prettyPrint && prettyPrint()
 
   // table sort example
   if ($.fn.tableSorter) {