change TOC from <ul> to <ol>

Author: eksperimental

_includes/bottom.html

@@ -26,7 +26,7 @@
     $(document).ready(function() {
         $('.toc').toc({
           title: '',
-          listType: 'ul',
+          listType: 'ol',
           minimumHeaders: 2,
           headers: 'h2, h3, h4, h5, h6',
           showSpeed: 0,