Merge pull request #738 from franciscod/patch-1

increase margin-left for "shell input"
This commit is contained in:
Peter Cottle 2020-09-25 08:50:20 -07:00 committed by GitHub
commit 2215192cf1
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 {
margin: 0;
margin-left: 12px;
margin-left: 20px;
}
#commandLineBar #commandTextField {