From e2bdc418d0af30f6fe0d0ec88d77702d6190f920 Mon Sep 17 00:00:00 2001 From: Greg Gay Date: Tue, 24 Aug 2010 19:00:03 +0000 Subject: [PATCH] style tweaks --- docs/themes/default/styles.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css index 5617e94..88b49a2 100644 --- a/docs/themes/default/styles.css +++ b/docs/themes/default/styles.css @@ -1092,8 +1092,8 @@ ul.navigation li a.active{ border:1px solid #cccccc; } li.course { - font-size:smaller; - margin:1em 0; + + margin:.5em -.5em; } ol li{ list-style:none; -- 2.17.1