/* Common CSS */

html {
  height: 100%;
}

html, body {
  position: relative;
  min-height: 100%;
  font-size: 15px;
}

h2 {
  font-size: 1.8em;
  margin: 30px 0 20px -2px;
  font-weight: bold;
}

h3 {
  font-size: 1.5em;
  border-bottom: 2px solid rgba(0, 0, 60, .2);
  line-height: 3rem;
  margin: 20px 0 0px;
  font-weight: bold;
}

h4 {
  font-weight: bold;
  font-size: 1.05em;
  margin: 15px 0 8px;
}

.list-group-item+.list-group-item {
  border-top-width: 0;
}

.form-group {
  margin-bottom: 0;
}

.form-row {
  margin-bottom: 1em;
}

button {
  margin-bottom: 0.5em;
}

button+button {
  margin-left: 0.5em;
}



/* Header */
header nav.navbar {
  min-height: 64px;
  padding: 10px 24px;
  background-color: #fff !important;
  color: #1c1c1c !important;
  border-bottom: 1px solid #e4e7ee;
  align-items: center;
}

.site-brand {
  display: flex;
  align-items: center;
  gap: 14px;
  min-width: 0;
}

.site-brand a {
  color: #1c1c1c !important;
  text-decoration: none !important;
}

.site-brand a:hover {
  color: #1c1c1c !important;
  text-decoration: none;
  opacity: 0.72;
}

.site-logo {
  height: 36px;
  width: 86px;
  max-height: 36px;
  max-width: 86px;
  flex: 0 0 86px;
  min-width: 0;
  display: block;
  object-fit: contain;
}

.site-brand-name {
  font-size: 1.15rem;
  font-weight: 700;
  line-height: 1.2;
  padding-left: 14px;
  border-left: 1px solid #d5d8e0;
}

.site-header-actions {
  margin-left: auto;
  display: flex;
  align-items: center;
  flex: 0 0 auto;
}

.site-header-actions .navbar-nav {
  flex-direction: row;
  align-items: center;
}

.site-header-actions .nav-link,
header nav a.site-header-link {
  color: #1c1c1c !important;
  font-size: 0.95rem;
}

header nav a.site-header-link:hover,
.site-header-actions .nav-link:hover {
  text-decoration: none;
  opacity: 0.65;
}

.menu_toggle_text {
  display: inline;
}

.menu_toggle_img {
  display: none;
}

@media(min-width: 768px) {
  header {
    position: sticky;
    top: 0;
    z-index: 1071;
    background: #fff;
  }
}

@media(max-width: 767.98px) {
  header nav.navbar {
    padding: 8px 12px;
  }

  .site-brand {
    gap: 8px;
  }

  .site-logo {
    height: 28px;
    width: 66px;
    max-height: 28px;
    max-width: 66px;
    flex-basis: 66px;
  }

  .site-brand-name {
    font-size: 0.82rem;
    padding-left: 8px;
  }

  .menu_toggle_text {
    display: none;
  }

  .site-header-actions a.nav-link {
    padding: 0 !important;
  }

  .menu_toggle_img {
    display: inline-block;
    height: 1.6rem;
    filter: brightness(0);
  }

  .site-header-actions .dropdown-toggle::after {
    display: none;
  }
}


/* Main */
.main.container-fluid, .main.container {
  padding-bottom: 90px;
}

.main.container {
  padding-bottom: 120px;
}

.container-fluid .container-left {
  border-color: rgba(0, 0, 60, .1);
  border-width: 3px 3px 0 0;
  border-style: solid;
  padding: 0 20px 40px;
}

.container-fluid .container-right {
  border-color: rgba(0, 0, 60, .1);
  border-width: 3px 0 0 0;
  border-style: solid;
  padding: 0 20px 40px;
}

@media(max-width: 991.98px) {
  .container-fluid .container-left {
    border-width: 3px 0 0 0;
  }
}

@media(max-width: 767.98px) {
  .right_menu {
    padding: 0;
    margin-bottom: 1em;
  }
}

.explain_alg {

}

a.disabled{
  pointer-events: none;
}

a.hidden_show_button::after {
  display: flex;
  align-items: center;
  justify-content: center;
  content: "▼";
  font-size: 0.65em;
  line-height: 1;
  position: absolute;
  inset: 0;
  color: #212529;
  transition: transform 0.2s;
}

a.hidden_show_button.collapsed::after {
  content: "▶";
  transform: none;
}

.main form button {
  height: 3em;
}

.main .submit_button_wrap {
  margin-top: 1em;
}

.main form button::after {
  clear: both;
}

table.table {
  margin: 0 auto 30px;
  text-align: left;
  width: 100%;
}

table.table th, table.table td {
  border-radius: 0.25rem;
  padding: 0.5rem 0.5rem;
}

table.table th, table.table td {
  font-size: 0.9rem;
  vertical-align: middle;
}

table.table th {

}

#result_details {
  table-layout: fixed;
}

/* forms */
#input_form .alert {
  margin: 20px 0;
  display: none;
}

p.label_exp {
  margin: -5px 0 5px;
}

span.is-invalid {
  font-size: small; 
  padding: 0 5px;
  color: #dc3545;
}

span.spinner-border {
  margin-right: 10px;
}

/* overlay on simulator results */
#right_overlay {
  position: absolute;
  display: none;
  width: 100%;
  height: 100%;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background-color: rgba(255, 255, 255, 0.6);
  z-index: 2;
  cursor: pointer;
}

#right_overlay .spinner-grow {
  width: 3rem; 
  height: 3rem;
  position: absolute;
  top: 50%;
  left: 50%;
  margin: -1.5rem 0 0 -1.5rem;
}


/* Footer */
.footer {
  position: absolute;
  bottom: 0;
  width: 100%;
  background-color: #244973;
  color: #fff;
  padding: 1.05rem 0;
  font-size: 0.9rem;
  line-height: 1.4;
}

.footer-inner {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  column-gap: 2rem;
  row-gap: 0.75rem;
}

.footer-title {
  margin: 0;
  font-weight: 500;
  white-space: nowrap;
}

.footer-links {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: flex-end;
  margin-left: auto;
  max-width: 100%;
  column-gap: 1.75rem;
  row-gap: 0.5rem;
}

.footer-links a {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  color: #fff;
  text-decoration: none;
  white-space: nowrap;
}

.footer-links a:hover {
  color: #fff;
  text-decoration: none;
  opacity: 0.78;
}

.footer-external {
  width: 0.9em;
  height: 0.9em;
  flex: 0 0 auto;
}