Re: [PATCH 2/3] Add htdocs/ansi2html.css

[Gerald Pfeifer]

On Fri, 16 Mar 2018, David Malcolm wrote:
> Generated by:
> 
>   ansi2html.sh --css-only --bg=dark --palette=xterm

Okay, modulo my questions in the previous mail (esp. the one
on pruning).

Gerald