.terminal_window {
    margin: 0 auto;
    height: 10em;
    text-align: left;
    margin-top: 15px;
    position: relative;
    border-radius: 10px;
}

.terminal_window header {
    background-color: #E0E8F0;
    height: 30px;
    border-radius: 8px 8px 0 0;
    padding-left: 10px;
}

.terminal_window .button {
    width: 12px;
    height: 12px;
    margin: 10px 4px 0 0;
    display: inline-block;
    border-radius: 8px;
}

.red_btn {
    background-color: #E75448;
}

.green_btn {
    background-color: #3BB662;
}

.yellow_btn {
    background-color: #E5C30F;
}

.terminal_window {
    background-color: #0D1F2D;
    color: #F4FAFF;
    /*font-size: 11pt;*/
}

.terminal_text {
    margin-left: 20px;
    font-family: Menlo, Monaco, "Consolas", "Courier New", "Courier";
}

#typed-strings {
    display: inline-block;
    postiion: relative;
}

#typed {
    font-family: Menlo, Monaco, "Consolas", "Courier New", "Courier";
    margin-left: 15px;
}