index.html TOC: use <table> instead of <ul>

For better formatting.

The following screenshots illustrate the difference:

* https://i.imgur.com/ZfkUpBG.png
* https://i.imgur.com/S6cRK00.png

I also reduced the indentation on the left of each year's index from 2em
to 1em.

1 files changed, 7 insertions, 5 deletions

diff --git a/source/css/theme.css b/source/css/theme.css
index 3a01e5b4..cbcb6750 100644
--- a/source/css/theme.css
+++ b/source/css/theme.css
@@ -185,13 +185,15 @@ footer .rfooter .rss-icon {
     font-size: 0;
 }
 
-div.indextoc ul {
-    list-style-type: none;
-    padding-left: 2em;
+div.indextoc table {
+    margin-left: 1em;
 }
 
-div.indextoc ul li time.tocdate {
-    float: left;
+div.indextoc td {
+    vertical-align: top;
+}
+
+div.indextoc td.date {
     width: 5em;
 }