Merge pull request #119 from Bzly/patch-1

Update commandline.css
This commit is contained in:
Oliver Blanthorn 2017-11-23 10:19:03 +00:00 committed by GitHub
commit 9fe7f1e6f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -25,7 +25,8 @@ input {
color: black; color: black;
display: inline-block; display: inline-block;
font-size: 10pt; font-size: 10pt;
font-family: "monospace"; /* MS doesn't know what monospace is */
font-family: "monospace", "Courier New";
overflow: hidden; overflow: hidden;
width: 100%; width: 100%;
border-top: 0.5px solid grey; border-top: 0.5px solid grey;