From: Rocco Rutte <pdmef@gmx.net>
Date: Sun, 5 Apr 2009 10:21:12 +0000 (+0200)
Subject: mutt.css: Minor tweaks for <cmdsynopsis/>
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=5d1706b90de9b686bf32df29891634070e560b96;p=neomutt

mutt.css: Minor tweaks for <cmdsynopsis/>

Draw left border for <cmdsynopsis/> to highlight them a bit and render
arguments in monospace, too.
---

diff --git a/ChangeLog b/ChangeLog
index 41bfa9de8..c21daa1c7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,15 @@
+2009-04-05 11:55 +0200  Rocco Rutte  <pdmef@gmx.net>  (7b6f1302e60d)
+
+	* doc/manual.xml.head: Manual: Make sure every rc command has a
+	synopsis in its describing section
+
+2009-04-05 11:54 +0200  Rocco Rutte  <pdmef@gmx.net>  (1b844544a160)
+
+	* ChangeLog, doc/manual.xml.head: Manual: Fold consecutive
+	<cmdsynopsis/> into just one
+
+	This make it visually easier to spot what belongs together.
+
 2009-04-05 09:09 +0200  Rocco Rutte  <pdmef@gmx.net>  (864b19c6829f)
 
 	* doc/manual.xml.head: Manual: More entities and <quotes/> as
diff --git a/doc/mutt.css b/doc/mutt.css
index a0ae076cd..6483de296 100644
--- a/doc/mutt.css
+++ b/doc/mutt.css
@@ -1,7 +1,6 @@
 body { margin-left:2%; margin-right:2%; font-family:serif; }
 .toc, .list-of-tables, .list-of-examples { font-family:sans-serif; }
 h1, h2, h3, h4, h5, h6 { font-family:sans-serif; }
-em.replaceable code { font-family:sans-serif; }
 p { text-align:justify; }
 div.table p.title, div.example p.title { font-size:smaller; font-family:sans-serif; }
 .email, .email a { font-family:monospace; }
@@ -13,6 +12,8 @@ div.table-contents table th, div.informaltable table th {
     font-weight:normal;
     vertical-align:top;
 }
+div.cmdsynopsis { border-left:1px solid #707070; padding-left:5px; }
+li div.cmdsynopsis { border-left:none; padding-left:0px; }
 pre.screen, div.note { background:#f0f0f0; border:1px solid #c0c0c0; padding:5px; margin-left:2%; margin-right:2%; }
 div.example p.title { margin-left:2%; }
 div.note h3 { font-size:small; font-style:italic; font-variant: small-caps; }