From: Rocco Rutte Date: Wed, 1 Apr 2009 09:39:26 +0000 (+0200) Subject: makedoc: Render description lists as X-Git-Tag: mutt-1-5-20-rel~127^2~8 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6b3a4e87cafc82449d40ecdba3250afd6633bd2d;p=mutt makedoc: Render description lists as This looks better and is more compact (except missing column headers.) --- diff --git a/doc/makedoc.c b/doc/makedoc.c index e2014aa5..a79cc720 100644 --- a/doc/makedoc.c +++ b/doc/makedoc.c @@ -1155,34 +1155,36 @@ static int print_it (int special, char *str, FILE *out, int docstat) fputs ("\n\n", out); docstat &= ~D_PA; } - fputs ("\n\n\n", out); + fputs ("\n\n\n\n", out); docstat |= D_DL; break; } case SP_DT: { - fputs ("", out); + fputs ("", out); break; } case SP_DD: { docstat |= D_DD; if (docstat & D_DL) - fputs("\n", out); - fputs ("", out); + fputs("", out); + else + fputs ("", out); break; } case SP_END_DD: { - docstat &= ~D_DD; - fputs ("", out); if (docstat & D_DL) - fputs("\n", out); + fputs ("\n", out); + else + fputs ("", out); + docstat &= ~D_DD; break; } case SP_END_DL: { - fputs ("\n", out); + fputs ("\n", out); docstat &= ~(D_DD|D_DL); break; } diff --git a/doc/mutt.css b/doc/mutt.css index cd432be2..321cafeb 100644 --- a/doc/mutt.css +++ b/doc/mutt.css @@ -5,9 +5,9 @@ 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; } -div.table-contents table { border-collapse:collapse; border:1px solid #c0c0c0; } -div.table-contents table td, div.table-contents table th { padding:5px; text-align:left; } -div.table-contents table th { +div.table-contents table, div.informaltable table { border-collapse:collapse; border:1px solid #c0c0c0; } +div.table-contents table td, div.informaltable td, div.table-contents table th, div.informaltable table th { padding:5px; text-align:left; } +div.table-contents table th, div.informaltable table th { font-family:sans-serif; background:#d0d0d0; font-weight:normal;