:root {
    --codex-black: #333;
    --codex-gray: #CED4DA;
    --codex-red: #FF8787;
    --codex-pink: #F783AC;
    --codex-grape: #DA77F2;
    --codex-violet: #9775FA;
    --codex-indigo: #748FFC;
    --codex-blue: #4DABF7;
    --codex-cyan: #3BC9DB;
    --codex-teal: #38D9A9;
    --codex-green: #69DB7C;
    --codex-lime: #A9E34B;
    --codex-yellow: #FFD43B;
    --codex-orange: #FFA94D;
    --codex-theme: var(--codex-blue);
}

* {
    font-family: 'JetBrains Mono' !important;
}

html, body {
    height: 100%;
    min-height: 100%;
    margin: 0;
    padding: 0;
}

body {
    background: url(../images/codex_background.png) no-repeat center center fixed;
    -webkit-background-size: cover;
    -moz-background-size: cover;
    -o-background-size: cover;
    background-size: cover;
}

.ui[class*="left action"].input>.dropdown {
    border-radius: 0 .28571429rem .28571429rem 0;
}

.ui.selection.dropdown {
    width: 205px;
}



.lm_header .lm_tab {
    padding-bottom: 3px;
    height: 16px;
    font-size: 14px;
}

.lm_header .lm_tab.lm_active {
    box-shadow: none;
    padding-bottom: 3px;
}

#site-navigation {
    border-radius: 0;
    margin: 0;
    background: #1e1e1e;
    border-bottom: 1px solid rgba(255, 255, 255, 0.08);
    height: 45px;
}

#navigation-message {
    font-size: 1.2em;
    white-space: nowrap;
    overflow: hidden;
}

@keyframes slide {
    0% { transform: translateX(570px); }
    100% { transform: translateX(-100%); }
}
@-webkit-keyframes slide {
    0% { transform: translateX(570px); }
    100% { transform: translateX(-100%); }
}

.navigation-message-text {
    white-space: nowrap;
    -moz-animation: slide 60s linear infinite;
    -webkit-animation: slide 60s linear infinite;
    animation: slide 60s linear infinite;
}

.navigation-message-text:hover {
    -moz-animation-play-state: paused;
    -webkit-animation-play-state: paused;
    animation-play-state: paused;
}

#navigation-message a {
    color: var(--codex-theme);
    font-weight: bold;
}

#site-icon {
    width: 30px;
    height: 30px;
    vertical-align: middle;
}

#site-header {
    padding-left: 0;
    padding-top: 0;
    padding-bottom: 0;
}

#site-header h2 {
    display: inline;
    vertical-align: middle;
}

#site-content {
    height: calc(100% - 45px - 19px);
}

#site-modal .header {
    color: #db2828;
}

#run-btn {
    background-color: var(--codex-theme);
}

#site-footer, #status-line {
    background-color: var(--codex-theme);
    bottom: 0;
    font-size: 13px;
    height: 19px;
    padding-left: 16px;
    padding-right: 16px;
    position: fixed;
}

#site-footer {
    color: white;
    left: 0;
    text-align: left;
    width: 100%;
}

#site-footer a {
    color: white;
    font-weight: bold;
}

#site-footer a:hover {
    color: #333;
}

#status-line {
    color: #fff;
    float: right;
    right: 0;
    text-align: right;
    width: fit-content;
}

.blink {
    animation: blinker 1s linear infinite;
}

@keyframes blinker {
    50% {
        background: #FFD700;
    }
}

.dot {
    background: #0E6EB8;
    position: absolute;
    border-radius: 50px;
    width: 5px;
    height: 5px;
    right: 7.5px;
    top: 7.5px;
}

input[type="text"] {
    width: 205px !important;
}
