increase margin-left for "shell input"

Shells usually have a space character on their prompt after the "$" or "#"
This commit is contained in:
Francisco Demartino 2020-09-25 11:19:00 -03:00 committed by GitHub
parent c765e476d5
commit 7ae2175d2d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -553,7 +553,7 @@ p.commandLine span.prompt {
#commandLineBar p.command { #commandLineBar p.command {
margin: 0; margin: 0;
margin-left: 12px; margin-left: 20px;
} }
#commandLineBar #commandTextField { #commandLineBar #commandTextField {