@font-face {
    font-family: "VeraMono";
    src: url('/assets/fonts/VeraMono-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}

:root {
    --bg-color: #39393d;
    --highlight-color: #39e65c;
}

body, html {
    min-height: 100vh;
    background-color: var(--bg-color);
}

pre {
    color: #eeeeee;
    font-size: 13pt;
    font-family: "VeraMono", monospace;
    display: inline-block;
    margin-bottom: 0;
}

body {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
}

.terminal {
    margin: auto;
    max-width: 700px;
    height: auto;
    text-align: left;
    margin-top: 15px;
    margin-bottom: 15px;
    border-radius: 10px;
    background-color: #222629e1;
    color: #eeeeee;
    font-size: 13pt;
    min-width: min-content;
}

.terminal .bar {
    background-color: #c5c5c5;
    height: 30px;
    border-radius: 8px 8px 0 0;
    padding-left: 10px;
}

.terminal .bar_btn {
    width: 12px;
    height: 12px;
    margin: 10px 4px 0 0;
    display: inline-block;
    border-radius: 8px;
    background-color: #949494;
}
  
.terminal_text {
    margin: 15px;
    font-family: "VeraMono", monospace;
    display: inline-block;
}

.terminal_text p {
    display: inline-block;
    margin-bottom: 0;
}

.prompt {
    display: inline-block;
    user-select: none;
    -webkit-user-select: none;
    -ms-user-select: none;
    -moz-user-select: none;
    color: var(--highlight-color);
}

a {
    color: var(--highlight-color);
}

.terminal a:hover {
    background-color: var(--highlight-color);
    color: #222629;
    text-decoration-line: none;
}

.cursor{
    animation: blinking 2s infinite;
    user-select: none;
    -webkit-user-select: none;
    -ms-user-select: none;
    -moz-user-select: none;
}

@media screen and (max-width:450px){
    pre {
        font-size: 11pt !important;
    }
    .terminal {
        font-size: 11pt !important;
    }
}

@keyframes blinking {
    0% { background-color: #eeeeee; }
    49% { background-color: #eeeeee; }
    50% { background-color: transparent; }
    99% { background-color: transparent; }
}