jcs.org
mutt stable branch with some hacks
1body { margin-left:2%; margin-right:2%; font-family:serif; }
2.toc, .list-of-tables, .list-of-examples { font-family:sans-serif; }
3h1, h2, h3, h4, h5, h6 { font-family:sans-serif; }
4p { text-align:justify; }
5div.table p.title, div.example p.title { font-size:smaller; font-family:sans-serif; }
6.email, .email a { font-family:monospace; }
7div.table-contents table, div.informaltable table { border-collapse:collapse; border:1px solid #c0c0c0; }
8div.table-contents table td, div.informaltable td, div.table-contents table th, div.informaltable table th { padding:5px; text-align:left; }
9div.table-contents table th, div.informaltable table th {
10 font-family:sans-serif;
11 background:#d0d0d0;
12 font-weight:normal;
13 vertical-align:top;
14}
15div.cmdsynopsis { border-left:1px solid #707070; padding-left:5px; }
16li div.cmdsynopsis { border-left:none; padding-left:0px; }
17pre.screen, div.note { background:#f0f0f0; border:1px solid #c0c0c0; padding:5px; margin-left:2%; margin-right:2%; }
18div.example p.title { margin-left:2%; }
19div.note h3 { font-size:small; font-style:italic; font-variant: small-caps; }
20div.note h3:after { content: ":" }
21div.note { margin-bottom: 5px; }
22.command { font-family: monospace; font-weight: normal; }
23.command strong { font-weight: normal; }
24tr { vertical-align: top; }
25.comment { color:#707070; }