/* this could be avoided with templating */
.pre-rendered { 
  display: none; 
}

#mainContent {
  --main-color: #007bff;
  --grayed-out-color: #e9ecef;
  --default-color: black;
  --text-light: white;
  --bg-light: white;
  --relevant-bg-light: white;
  --relevant-bg-high: #deedfd;
  --relevant-color: black;
  --relevant-high-color: black;
  --trace-0: #b34c12;
  --trace-1: #b39812;

  --expl-0: #8d3f90;
  --expl-1: #ec4dd8;
  --expl-2: #8c2efc;
  --expl-3: #574e6a;
  --expl-4: #958abd;

  --seq-bg-light: #f9f9f9;
  --seq-bg: #ebebeb;

  --blue: #007bff;
  --blue-dark: #004793;
  --blue-light: #deedfd;
  --blue-lighter: #f1f8ff;
  --purple: #1500ff;
  --purple-light: #f3f2ff;
  --gray: #e9ecef;
  --gray-light: #f2f2f2;
  --gray-dark: #cacaca;
  --gray-darker: #363636;
  --white: white;
}

#mainContent.hyperhyper {
  --main-color: #007bff;
  --grayed-out-color: #e9ecef;
  --default-color: lightgray;
  --text-light: white;
  --bg-light: rgb(240, 240, 240);
  --relevant-bg-light: white;
  --relevant-bg-high: #deedfd;
  --relevant-color: #343a40;
  --relevant-high-color: #007bff;
  --seq-bg-light: #f9f9f9;
  --seq-bg: #ebebeb;
}

.cus-tooltip {
  position: relative;
  display: inline-block;
}

.left-card {
  text-align: left;
}

.fixed-actions {
  position: absolute;
  z-index: 1;
  top: 0px;
  right: 15px;
}

.fixed-action {
  padding: 0.25rem .25rem !important;
  font-size: 0.8rem !important;
  color: #838383;
}

.missing-component-form {
  padding: 20px;
  align-items: baseline;
  justify-content: left;
}

#mainContent .template {
  display: none;
}

#mainContent .template.active {
  display: flex;
}

#mainContent .template > div {
  padding-left: 5px;
  padding-right: 5px;
}

#tags-container {
  padding-left: 5px;
  padding-right: 5px;
}

#mainContent .template > div.col-xs-12 {
  max-width: 100%;
}

#mainContent .card-header {
  font-size: 75%;
  padding: 0.25rem 0.5rem;
}

#mainContent .card-header .nav-item.title .nav-link {
  color: var(--gray-darker);
  cursor: default;
  font-weight: bold;
}

#mainContent .card-header .nav-link {
  padding: 0.25rem 0.5rem;
  color: var(--gray-darker);
  cursor: pointer;
}

#mainContent .card-header .nav-link.active {
  color: var(--main-color);
}

#mainContent .card-header .nav-item.right {
  margin-left: auto;
}

#mainContent .card-body {
  padding: 1.0rem;
  overflow: auto;
}

.no-display {
  display: none;
}

#mainContent .card {
  /* resize: both; */ 
  overflow: auto;
}
#mainContent .card.maximize {
  position: absolute;
  z-index: 9999;
  top: 0;
  left: 0;
  bottom: 0;
  right: 0;
}

#loading-spinner {
  opacity:0.5;
  background-color:#ccc;
  position:fixed;
  width:100%;
  height:100%;
  top:0px;
  left:0px;
  z-index:1000;
  display: flex;
  align-items: center;
}

#loading-spinner div {
  margin: 48%;
}

body {
  /* background-color: lightseagreen; */
  font-family: sans-serif;
  overflow-y: scroll;
}

.symbol {
  font-family: 'Cambria Math', 'STIXGeneral';
}

#status {
  display: none;
  margin-bottom: 10px;
}

#status.visible {
  display: flex;
}

#status.alert-danger .spinner-border,
#status.alert-success .spinner-border {
  visibility: hidden;
}

#status .spinner-border {
  margin: 3px 10px;
}

#mainContent {
  padding: 5px;
}

#mainContent > div {
  margin: 0;
}

.view-container {
  margin-top: 10px;
}

#mainContent .col {
  overflow: auto;
}

#infoOverlay {
  position: absolute;
  bottom: 10px;
  left: 10px;
  padding: 10px;
  max-width: 400px;
  transition: all 0.4s ease-in-out;
  opacity: 0;
  pointer-events: none;
}

#infoOverlay.show {
  opacity: 0.95;
}

svg {
  overflow:auto !important;
}

.btn.focus, .btn:focus {
  box-shadow: 0 0 0 0
}

.margin-10 {
  margin: 10px;
}

.dropdown-menu.checks-dropdown .dropdown-item.action {
  width: 48%;
  text-align: center;
}

.dropdown-menu.checks-dropdown .dropdown-item:hover, 
.dropdown-menu.checks-dropdown .dropdown-item:active {
  background-color: #e9ecef;
}

.dropdown-menu.checks-dropdown .dropdown-item:active {
  color: #212529;
}

.dropdown-menu.checks-dropdown .dropdown-item:focus {
  outline: 0px;
}

.padded-text {
  padding: 0 10px 0 10px;
}

#welcome.hide {
  display: none;
}

#welcome .card {
  margin-bottom: 10px;
}

#welcome .card button {
  margin-top: 5px;
}

.svg-inline--fa {
  width: 1em ! important;
}

input.form-control {
  font-size: 13px;
  height: 39px;
}
