From 56444d5f6d1678839158e78036c56200028c1d00 Mon Sep 17 00:00:00 2001 From: Rocco Rutte Date: Wed, 1 Apr 2009 11:39:26 +0200 Subject: [PATCH] makedoc: Render description lists as This looks better and is more compact (except missing column headers.) --- doc/makedoc.c | 18 ++++++++++-------- doc/mutt.css | 6 +++--- 2 files changed, 13 insertions(+), 11 deletions(-) diff --git a/doc/makedoc.c b/doc/makedoc.c index e2014aa5c..a79cc7207 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 cd432be2a..321cafeb7 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; -- 2.40.0