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

2018-03-18 Thread 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

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

2018-03-16 Thread David Malcolm
Generated by: ansi2html.sh --css-only --bg=dark --palette=xterm --- htdocs/ansi2html.css | 287 +++ 1 file changed, 287 insertions(+) create mode 100644 htdocs/ansi2html.css diff --git a/htdocs/ansi2html.css b/htdocs/ansi2html.css new file mode