From 67b794c854255241517c15d39684a04ab43cea02 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Wed, 9 Nov 2011 00:22:01 -0500
Subject: [PATCH] [#5] jQuery UI not currently needed in manual

---
 doc/interactive.js | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/doc/interactive.js b/doc/interactive.js
index 15baf17..8b35d7c 100644
--- a/doc/interactive.js
+++ b/doc/interactive.js
@@ -14,14 +14,8 @@ css.rel  = 'stylesheet';
 
 sjquery.src  =
     'https://ajax.googleapis.com/ajax/libs/jquery/1.5.1/jquery.min.js';
-sjquery_ui.src =
-    'https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.11/jquery-ui.min.js';
-css.href =
-    'http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.10/themes/base/jquery-ui.css';
 
 head.appendChild( sjquery );
-head.appendChild( sjquery_ui );
-head.appendChild( css );
 
 // will call callback when jQuery has been loaded
 function jqueryCheck( callback )