From 7add35714d68c58ee3a0ae5be303ac8868bc87f4 Mon Sep 17 00:00:00 2001 From: Oliver Blanthorn Date: Fri, 18 May 2018 13:56:04 +0100 Subject: [PATCH] Show `:` in commmand line: fix half of #559 --- src/static/commandline-dark.css | 2 +- src/static/commandline.css | 13 +++++++++++-- src/static/commandline.html | 2 +- 3 files changed, 13 insertions(+), 4 deletions(-) diff --git a/src/static/commandline-dark.css b/src/static/commandline-dark.css index 7c9b3b62..fc2384e5 100644 --- a/src/static/commandline-dark.css +++ b/src/static/commandline-dark.css @@ -4,7 +4,7 @@ --background: #111; } -:root.dark input { +:root.dark input, :root.dark #command-line-holder { color: var(--foreground-bright); background: var(--background); } diff --git a/src/static/commandline.css b/src/static/commandline.css index 5198e11f..34ab3f7e 100644 --- a/src/static/commandline.css +++ b/src/static/commandline.css @@ -7,17 +7,26 @@ body { width: 100%; } +#command-line-holder { + background:white; + font-family: monospace; + font-size: 9pt; + /* reduce the padding added by the colon so that the command line shows up roughly where it used to be */ + padding-left: 0.125ex; +} + input { - width: 100%; + width: 97%; font-family: monospace; font-size: 9pt; line-height: 1.5; color: black; background: white; border: unset; + /* reduce the padding from the colon */ + margin-left: -0.25ex; /* we currently have a border from the completions */ /* border-top: solid 1px lightgray; */ - padding-left: 0.5ex; } /* COMPLETIONS */ diff --git a/src/static/commandline.html b/src/static/commandline.html index 0eb66a73..d4aae54b 100644 --- a/src/static/commandline.html +++ b/src/static/commandline.html @@ -7,7 +7,7 @@
- +
: