@ -188,6 +188,7 @@ div.prompt {
padding: 0.4em;
margin: 0px;
font-family: monospace;
text-align:right;
}
div.input {