From c53d6092de19cc9a21009bd20fbc8731bbf11e3a Mon Sep 17 00:00:00 2001
From: Hanoh Haim <hhaim@cisco.com>
Date: Thu, 19 May 2016 13:01:37 +0300
Subject: [PATCH] fix TOC by Bilal

---
 ws_main.py | 34 +++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

diff --git a/ws_main.py b/ws_main.py
index 7e676224..c9094ccf 100755
--- a/ws_main.py
+++ b/ws_main.py
@@ -279,6 +279,23 @@ TOC_HEAD = """
 
 <div id="content-section">
 
+    <!-- load the theme CSS file -->
+    <link href="https://cdnjs.cloudflare.com/ajax/libs/jstree/3.2.1/themes/default/style.min.css" rel="stylesheet"/>
+    
+    <link href="http://code.jquery.com/ui/1.9.2/themes/base/jquery-ui.css" rel="stylesheet" />
+    
+    <!-- include the jQuery library -->
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/1.12.1/jquery.min.js">
+    </script>
+    
+    <!-- include the jQuery UI library -->
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.11.4/jquery-ui.min.js">
+    </script>
+    
+    <!-- include the minified jstree source -->
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jstree/3.2.1/jstree.min.js">
+    </script>
+
     <!-- Hide TOC on mobile -->
     <script>
     
@@ -336,23 +353,6 @@ TOC_END = """
 
 </body>
 
-<!-- load the theme CSS file -->
-<link href="https://cdnjs.cloudflare.com/ajax/libs/jstree/3.2.1/themes/default/style.min.css" rel="stylesheet"/>
-
-<link href="http://code.jquery.com/ui/1.9.2/themes/base/jquery-ui.css" rel="stylesheet" />
-
-<!-- include the jQuery library -->
-<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/1.12.1/jquery.min.js">
-</script>
-
-<!-- include the jQuery UI library -->
-<script src="https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.11.4/jquery-ui.min.js">
-</script>
-
-<!-- include the minified jstree source -->
-<script src="https://cdnjs.cloudflare.com/ajax/libs/jstree/3.2.1/jstree.min.js">
-</script>
-
 <style type="text/css">
     #toc {
       margin-bottom: 2.5em;
-- 
2.16.6