From d21f46bbc7878a822edd0167d051002c46f17831 Mon Sep 17 00:00:00 2001
From: ruanyf <yifeng.ruan@gmail.com>
Date: Fri, 25 Apr 2014 19:03:56 +0800
Subject: [PATCH] edit js/ditto

---
 js/ditto.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ditto.js b/js/ditto.js
index 9ef814c..916fe90 100644
--- a/js/ditto.js
+++ b/js/ditto.js
@@ -119,7 +119,7 @@ function create_page_anchors() {
         });
 
         if ((i === 2) && headers.length !== 0){
-			var ul_tag = $('<ul></ul>')
+			var ul_tag = $('<ol></ol>')
 				.insertAfter('#content h1')
 				.addClass("content-toc")
 				.attr('id','content-toc');