From feedcc79e8cb69e54f9b6da47a2c3e2e7008e5ba Mon Sep 17 00:00:00 2001
From: Andrey Popp <8mayday@gmail.com>
Date: Sun, 4 Dec 2011 03:56:49 +0400
Subject: [PATCH] style doc index page

---
 doc/_themes/generic/static/basic.css_t | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/_themes/generic/static/basic.css_t b/doc/_themes/generic/static/basic.css_t
index ca16b66..e69ea7a 100644
--- a/doc/_themes/generic/static/basic.css_t
+++ b/doc/_themes/generic/static/basic.css_t
@@ -162,9 +162,14 @@ span.linkdescr {
 /* -- general index --------------------------------------------------------- */
 
 table.indextable {
+    font-size: 90%;
     width: 100%;
+    margin-bottom: 20px;
 }
 
+table.indextable a { text-decoration: none; }
+table.indextable a:hover { text-decoration: underline; }
+
 table.indextable td {
     text-align: left;
     vertical-align: top;
@@ -203,6 +208,8 @@ div.genindex-jumpbox {
     margin: 1em 0 1em 0;
     padding: 0.4em;
 }
+div.genindex-jumpbox a { text-decoration: none; }
+div.genindex-jumpbox a:hover { text-decoration: underline; }
 
 /* -- general body styles --------------------------------------------------- */