From 28bc3d01484688a390772abb7e131b44ad8fa0b7 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Wed, 10 Feb 2010 16:24:14 +0100
Subject: [PATCH] *** empty log message ***

---
 local.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/local.css b/local.css
index d0b084c1..af294281 100644
--- a/local.css
+++ b/local.css
@@ -285,5 +285,5 @@ legend {
 }
 
 .toc li {
-  margin-bottom: 1ex;
+  margin-bottom: 0.5ex;
 }
-- 
2.39.2