div.line.rawInput {
    display: none;
}

div.line.input {
    font-weight: bold;
}

div.line.option p {
    font-style: italic;
    margin-block-end: 0;
}

div.line.prompt p {
    font-style: italic;
}

div.line.input p:before {
    content: "\2192  "
}

div.undo {
    float: right;
    font-size: 80%
}

div.prompt {
    font-size: 80%;
    color: gray;
    margin: 8px;
}

div.help {
    float: right;
    font-size: 80%;
    margin: 8px;
    margin-left: 32px;
    margin-right: 0;
}

span.command {
    font-weight: bold;
    font-family: courier, monospace;
}

body {
    font-family: courier, monospace;
    background-color: black;
    color: #00ff00;
}

.bg-dark {
    background-color: black!important;
    border-bottom: 1px;
    border-color: white;
}

.navbar-dark .navbar-brand {
    color: #00ff00;
}

div.card {
    background-color: black;
}

.form-control {
    color: white;
    background-color: black;
    border-color: black;
}

.form-control::placeholder {
    color: lightgray;
}

.form-control:focus {
    color: white;
    background-color: #222222;
    border-color: black;
}

a {
    color: white;
}

.edit-property {
    list-style-type: none;
    text-align: left;
    margin: 0;
    padding: 0;
}

.edit-property ul {
    width: 100%;
}

.edit-property li {
    display: inline-block;
}

.edit-property input[type=submit] {
    float: right;
    padding: 0;
    margin: 0;
    color: white;
    background:#000;
    border:0 none;
    -webkit-appearance: none;
    font-size: 80%;
}