diff --git a/web/css/app.css b/web/css/app.css index 81f7facd..0bed0ef4 100644 --- a/web/css/app.css +++ b/web/css/app.css @@ -255,6 +255,7 @@ html, body { #commands .content { color: #C4E1A4; font-family: Monospace; + font-size: 11px } .terminal-output-area { @@ -298,6 +299,10 @@ html, body { color: #777777; } +.autocomplete-area { + font-style: italic; +} + input[type=checkbox], input[type=radio] { vertical-align: middle; }