diff --git a/web/root/css/style.css b/web/root/css/style.css index 5cc44f601a63eb3a8dbefe6fc794c7a4bf5af39c..eb7efa1709c1077ede626040341b7e76a60660ce 100644 --- a/web/root/css/style.css +++ b/web/root/css/style.css @@ -64,6 +64,11 @@ input.dropdown { margin: 0 0 1em 0; } +pre.ansi { + background-color : black; + font-family : Courier New, monospace; +} + .icon { margin: 0 1em 1em 0; }