body {
    background:black;
    color:gray;
    font-family:monospace;
}

#terminal > pre {
    margin:0px;
    white-space: pre-wrap;
    word-wrap: break-word; 
    font-size:13px;
}

#terminal > div {
    background:0;
    border:0;
    color:rgb(184, 184, 184);
    font-family:monospace;
    width:100%;
    padding:0;
    resize: none;
    font-size:13px;
}

div:focus {
    outline:0;
}

.err {
    color:rgb(255, 85, 85);
}

.self {
    color:rgb(46, 119, 97);
}