--- a/playground/index.html	Thu Jul 04 17:02:13 2013 +0200
+++ b/playground/index.html	Mon Jul 08 14:00:06 2013 -0400
@@ -23,7 +23,7 @@
       <link rel="shortcut icon" href="../favicon.ico" />
 
       <!-- script tags -->
-      <script src="//ajax.googleapis.com/ajax/libs/jquery/1.9.0/jquery.min.js"></script>
+      <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.8.3/jquery.min.js"></script>
       <script type="text/javascript" src="jquery-ui-1.8.14.custom.min.js"></script>
       <script type="text/javascript" src="js_beautify.js"></script>
       <script type="text/javascript" src="../common/prettify.js"></script>