:root {
    --primary-color: #af0e00;
    --result-color: #ffa075;
}

body {
    height: 100%;
    font-size: 15px;
    display: flex;
    flex-direction: column;
}

* {
    margin: 0;
    padding: 0;
}

.navbar {
  position: fixed;
  width: 100%;
    color: #fff;
    background: var(--primary-color);
    z-index: 100;
}

.navbar ul {
    list-style: none;
    display: flex;
    align-items: center;
}
#user-info {
  margin-left: auto;
  padding: 0.5rem;
  font-family: sans-serif;
  font-size: 13px;
  color: #fff;
  cursor: text;
  user-select: text;
}
.navbar ul li {
    color: #fff;
    display: inline-block;
    position: relative;
}
/* Hide Nested ul By Default */
.navbar ul li ul {
  display: none;
}
.navbar ul li:hover {
  cursor: pointer;
  background: #fff;
  color: var(--primary-color);
}
#user-info:hover {
  background: inherit;
  color: inherit;
  cursor: text;
}
/* Nested Dropdown Show */
.navbar ul li:hover ul {
  display: block;
  position: absolute;
  left: 0;
  min-width: 100%;
  z-index: 6;
}
.navbar ul li:hover ul li {
  display: block;
  padding: 0;
  background: var(--primary-color);
}
.navbar ul li:hover ul li:hover {
    background: #fff;
    color: inherit;
}

/* Nested in nested */
.navbar ul li:hover ul li ul {
    display: none;
}

.navbar ul li:hover ul li:hover ul {
    display: block;
    position: absolute;
    left: 100%;
    top: 0;
}

button, a {
    border: 0;
    margin: 0;
    padding: 0.5rem;
    white-space: nowrap;
}

.navbar button, .navbar a {
    color: inherit;
    background-color: inherit;
    text-decoration: none;
}

.navbar a {
    font-family: sans-serif;
    font-size: 13px;
}

.navbar ul li:hover ul button {
    width: 100%;
    height: 100%;
    text-align: left;
}

.navbar .close-button:hover {
    background: #fff;
    color: var(--primary-color);
}

.navbar .checkbox {
    margin-left: 10px;
}

.navbar .highlighted {
    font-weight: bold;
    text-decoration: underline;
}

.editor-row {
    width: 100px;
    display: block;
    height: 15px;
}

.error-marker {
    background-color: rgba(255, 0, 0, 0.3);
    position: absolute;
}

ul.console {
    max-height: 200px;
    flex-basis: 20%;
    overflow-y: auto;
    background-color: #f5f5f5;
    list-style-type: none;
    font-family: 'Roboto Mono', monospace;
    font-size: 14px;
    line-height: 25px;
    padding-left: 5px;
}
/* ul.console li { */
/*     border-bottom: solid 1px #80808038; */
/* } */

ul.console .console-error {
    color: red;
}

input, label {
    margin:2px;
}

input.history {
    width:3em;
}

#main-console {
    position: fixed;
    width: 100%;
    bottom: 0px;
    z-index: 100;
    /* flex-basis: 20%; */
    overflow-y: auto;
    background-color: #f5f5f5;
    list-style-type: none;
    font-family: 'Roboto Mono', monospace;
    font-size: 14px;
    line-height: 25px;
    padding-left: 5px;
}
#main-console li {
    border-bottom: solid 1px #80808038;
}

#main-console .console-error {
    color: red;
}

#main-console .console-log {
    color: blue;
}

#file-buttons label {
  display: inline-block;
  width: 100%;
  padding: 0.5rem;
  font-family: sans-serif;
  font-size: 13px;
  text-align: left;
  border: none;
  box-sizing: border-box;
  white-space: nowrap;
}

#container {
  margin-left: 5%;
  margin-right: 5%;
  padding-top: 40px;
  padding-bottom: 40px;
}

.notebook-heading {
  padding-top: 1em;
}

.notebook-text {
  padding-top: 1em;
}

.notebook-text th,
.notebook-text td {
  padding: 0px 5px 0px 5px;
  text-align: center;
}

.notebook-text img {
  max-height: 300px
}

.notebook-editor {
  margin-top: 2em;
  margin-left: -40;
}

.valid-decoration,
.ace_gutter-active-line.valid-decoration
{
    background-color: rgba(0, 155, 0, 0.3);
    color: green;
}

.invalid-decoration,
.ace_gutter-active-line.invalid-decoration
{
    background-color: rgba(255, 0, 0, 0.3);
    color: red;
}

.unknown-decoration
{
  background-color: rgba(255, 255, 0, 0.1);
  color: rgba(120, 120, 0, 1);
}

.error-decoration
{
  background-color: rgba(255, 125, 0, 0.1);
  color: rgba(200, 80, 0, 1);
}

.spinner {
  display: inline-block;
  width: 16px;
  height: 16px;
  border: 2px solid #ccc;
  border-top: 2px solid #333;
  border-radius: 50%;
  animation: spin 0.6s linear infinite;
  margin-left: 8px;
  vertical-align: middle;
}

@keyframes spin {
  0% { transform: rotate(0deg); }
  100% { transform: rotate(360deg); }
}

.hidden {
  display: none;
}

.wrapper {
  display: flex;
  /* display: inline-flex; */
  /* align-items: center; */
  /* gap: 6px; */
  /* border-bottom: 1px solid #AAAAAA; */
}

.wrapper.hidden {
  display: none;
}

.wrapper::after {
  content: '';
  flex-grow: 1;
  border-bottom: 1px solid #ddd;
}

.wrapper button {
  border-bottom: 1px solid #ddd;
}

.wrapper .selected {
  background-color: white;
  border: 1px solid #ddd;
  border-bottom: none;
}

.result {
  border: 1px solid #ddd;
  border-top: none;
  padding: .5em;
}

#login-container {
  border: 1px solid #ddd;
  width: 30%;
  border-radius: 10px;
  position: absolute;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
  text-align: center;
}

#login-title {
  width: 100%;
  text-align: center;
  background-color: var(--primary-color);
  color: white;
  border-radius: 10px 10px 0 0;
}

#login-error {
  color: red;
}

#login-content {
  text-align: right;
}

#login-form {
  padding: 10px;
  display: flex;
  justify-content: center;
}

#login-switch {
  padding: 10px;
}