@keyframes renderTextarea {
    to {
        opacity: 1;
    }
}

:root {
    --max-alert-container-height: 600px;
}

::-webkit-scrollbar {
    width: 12px;
    border-radius: 7px;
}

::-webkit-scrollbar-track {
    border-radius: 7px;
}

::-webkit-scrollbar-thumb {
    border-radius: 7px;
    background: dodgerblue;
    min-height: 10px;
}

body {
    background: #444;
    color: white;
    font-family: 'Open Sans', Arial, Helvetica, sans-serif;
}

.alertContainer {
	display: none;
	position: fixed;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
	width: 30%;
	padding: 1%;
	text-align: center;
	font-size: 2em;
	z-index: 99999999;
	border: 1px solid #000;
	box-shadow: -1px 1px 4px #000;
	background: #333;
	color: white;
	word-break: break-word;
	max-height: var(--max-alert-container-height);
	/* overflow-y: auto; */
}

.msgContainer {
    background: linear-gradient(to right, #000000, #434343);
    padding: 0;
}

.msgContainer .window-top {
    position: absolute;
    top: -25px;
    cursor: move;
    width: 100%;
    height: 25px;
    border-bottom: 1px solid rgba(0,0,0,0.5);
    border-top-right-radius: 5px;
    border-top-left-radius: 5px;
    padding: 5px;
    background-color: #ddd;
}

#msgContainer .round, .msgContainer .round {
    height: 16px;
    width: 16px;
    border-radius: 50%;
    border: none;
    margin-right: 6px;
    box-shadow: 1px 1px 2px #000;
    position: absolute;
    right: 5px;
    top: 5px;
}

#msgContainer .round.red, .msgContainer .round.red {
    background-color: red;
}

.msgContainer .content {
    max-height: calc(var(--max-alert-container-height) - 30px);
    overflow-y: auto;
}

.msgContainer .content .msg-content {
    padding: 1%;
}

#backgroundBlackout {
    display: none;
    position: fixed;
    top: 0;
    height: 100vh;
    overflow: hidden;
    background: rgba(0, 0, 0, .45);
    z-index: 999999;
}

.btn.btn-raised.btn-primary {
    background: #3f51b5;
    color: white;
}

.btn.btn-raised.btn-primary:hover {
    background: #22328d;
}

.btn-success {
    color: limegreen;
}

#nav-container {
    background: #222;
    color: white;
    box-shadow: 1px 1px 1px rgba(0,0,0,0.5);
    padding: 5px;
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 999999;
    height: 30px;
}

#nav-container .brand {
    position: absolute;
    left: 15px;
}

#nav-container .brand .inner-brand {
    color: limegreen;
}

#theme-selector-container {
    display: none;
    position: absolute;
    left: 200px;
}

#theme-selector {
    margin-left: 10px;
}

#menu-nav {
    position: absolute;
    right: 10px;
    display: inline-block;
    width: 60%;
    text-align: right;
    color: white;
}

#menu-nav ul  {
    list-style: none;
    display: inline;
    font-size: 0.9em;
}

#menu-nav ul li {
    display: inline;
    margin-right: 10px;
}

#menu-nav ul li a {
    color: white;
    text-decoration: none;
}

#menu-nav ul li a:visited {
    color: white;
}

#menu-nav ul li a:hover {
    color: limegreen;
}

#startContainer {
    position: relative;
    top: 40px;
    padding: 0 15px 0 15px;
}

#startTransform, #endTransform {
    opacity: 0;
    width: 100%;
    height: 300px;
}

#startTransform + .CodeMirror, #endTransform + .CodeMirror {
    opacity: 0;
}


#startTransform.render + .CodeMirror, #endTransform.render + .CodeMirror {
    animation: renderTextarea 0.7s forwards;
}

#middleContainer {
    height: 300px;
    margin-top: 1em;
    position: relative;
}

#transformBtn, #optionsBtn, #delimiterContainer, #combinatorContainer {
    position: absolute;
    left: 50%;
    transform: translateX(-50%);
}

#transformBtn {
    top: 1em;
}

#optionsBtn {
    bottom: 0;
}

#delimiterContainer {
    top: 25%;
    text-align: center;
}

#combinatorContainer {
    top: 55%;
    text-align: center;
}

#delim, #combinator {
    appearance: menulist;
    font-size: 11px;
    padding: 5px;
    border: none;
}

@media (min-width: 576px) {
    .col-sm-5 {
        flex: 0 0 45.8%;
        max-width: 45.8%;
    }
}