.hide {
    display: none !important;
}

li {
    margin-bottom: 5px;
}

input.long {
    width: 300px;
}

ul.inline li {
    display: inline;
    margin-right: 10px;
}

.terminal-wrapper h4 {
    border-bottom: 1px solid lightgrey;
    display: block;
}

.terminal-wrapper div {
    font-family: monospace;
}

body {
    margin: 0;
}

.matter {
    margin: 10px;
}

.notification {
    background-color: lemonchiffon;
    top: 0;
    left: 0;
    width: 100%;
    padding: 5px 10px;
    border-bottom: 1px solid palegoldenrod;
    color: dimgrey;
    font-family: calibri;
    font-size: 13px;
    display: inline-flex;
}

.notification .message {
    width: 100%;
}

.notification .close {
    margin-right: 10px;
    padding: 0 5px; 
    font-weight: bold;
    cursor: pointer;
}

.notification .close:hover {
    color: darkgrey;
}