diff --git a/docs/assets/js/application.js b/docs/assets/js/application.js
index 3319e607dbcf..ddf6b7b9acc7 100644
--- a/docs/assets/js/application.js
+++ b/docs/assets/js/application.js
@@ -1,10 +1,22 @@
$(document).ready(function(){
+ // Google code prettify
+ // ================
+
+ // cache $(window), as it is used in scroll spy logic later on
+ var $window = $(window);
+
+ $window.load(function() {
+ // prettyPrint cannot be set as the event handler to load directly; see
+ // http://google-code-prettify.googlecode.com/svn/trunk/README.html
+ prettyPrint();
+ });
+
+
// scroll spy logic
// ================
var activeTarget,
- $window = $(window),
position = {},
nav = $('body > .topbar li a'),
targets = nav.map(function () {
@@ -127,4 +139,4 @@ $(document).ready(function(){
});
-});
\ No newline at end of file
+});
diff --git a/docs/index.html b/docs/index.html
index 58be9e8b5f86..be77950e735c 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -29,7 +29,7 @@
-
+
@@ -1383,4 +1383,4 @@ Operations and grid system
-
\ No newline at end of file
+