body, html {
    margin: 0;
    padding: 0;
    height: 100%;
    font-family: 'Courier New', Courier, monospace;
    background-color: #000;
    color: #0f0;
}
#terminal {
    height: 100%;
    padding: 20px;
    overflow-y: auto;
    box-sizing: border-box;
}
#input-line {
    display: flex;
    align-items: center;
}
#prompt {
    color: #0f0;
    margin-right: 10px;
}
#user-input {
    background-color: transparent;
    border: none;
    color: #0f0;
    font-family: inherit;
    font-size: inherit;
    flex-grow: 1;
}
#user-input:focus {
    outline: none;
}
.output {
    margin-bottom: 10px;
    white-space: pre-wrap;
}
#welcome-text {
    white-space: pre-wrap;
}
.output a {
    color: #0ff;
    text-decoration: underline;
}
.output a:hover {
    color: #ff0;
}