From a44e6b3f41cdb7ce319e70dd084e50c0e1d9c822 Mon Sep 17 00:00:00 2001 From: Val Erastov Date: Thu, 24 Nov 2016 02:33:17 -0800 Subject: [PATCH] autocompletion support for terminal --- web/css/app.css | 5 +++++ 1 file changed, 5 insertions(+) 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; }