From 1df4b281f999851b7319ced98f8649188d7b166a Mon Sep 17 00:00:00 2001
From: Friedrich Lindenberg <friedrich@pudo.org>
Date: Mon, 8 Jun 2015 12:23:15 +0200
Subject: [PATCH] Fix up sidebar, fixes #124.

---
 docs/_themes/kr/autotoc.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/_themes/kr/autotoc.html b/docs/_themes/kr/autotoc.html
index 3e1ab00..2c12261 100644
--- a/docs/_themes/kr/autotoc.html
+++ b/docs/_themes/kr/autotoc.html
@@ -7,13 +7,13 @@
 $(function() {
     var ul = $('ul.custom-index');
     $('dl.class').each(function(i, el) {
-        var name = $('tt.descname', el).html(), id = $('dt', el).attr('id'),
+        var name = $('code.descname', el).html(), id = $('dt', el).attr('id'),
             li = $('<li><a href="#' + id + '">' + name + '</a></li>');
         ul.append(li);
         var ul_ = $('<ul />');
         li.append(ul_);
         $('dl.method', el).each(function(i, el) {
-            var name = $('tt.descname', el).html(), id = $('dt', el).attr('id');
+            var name = $('code.descname', el).html(), id = $('dt', el).attr('id');
             ul_.append('<li><a href="#' + id + '">' + name + '</a></li>');
         });
     });