From 0dabd8de27a7e8c7801dddc5d848246a001c97ac Mon Sep 17 00:00:00 2001
From: Laurent Monin <geeqie@norz.org>
Date: Tue, 11 Nov 2008 21:50:42 +0000
Subject: [PATCH] Give a new style to menus.

---
 doc/style.css | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/doc/style.css b/doc/style.css
index ed5d998b..504c4ac2 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -96,9 +96,25 @@ dl.menu_desc {
 }
 .menu_desc dt {
 	font-weight: bold;
-	padding-top: 0.3em;
+	padding: 0.1em;
+	border-left: 1px solid gray;
+	border-bottom: 1px solid gray;
+	display: inline;
+	vertical-align: top;
 }
 .menu_desc dd {
+	margin-top: 0.3em;
+	margin-bottom: 0.3em;
+	font-size: small;
+}
+
+.menu_desc dd dl {
+	margin-top: 0.7em;
+	margin-bottom: 0.7em;
+}
+
+.menu_desc dd dl dd {
+	font-size: small;
 }
 
 /* dialog descriptions */
-- 
2.20.1