body {
  box-shadow: inset 0 0 5rem rgba(0, 0, 0, .5);
}
p {
  margin-bottom: 0;
}
dl, ol, ul {
  margin-bottom: 0;
}

header {
  background-color: #013357;
}

header #logo {
  background-color: #fff;
  display: inline-block;
  padding: 5px;
}

header #logo img {
  height: 40px;
}

main {
  overflow: hidden auto;
}

.cover-container {
  max-width: 50em;
}

.bd-placeholder-img {
  font-size: 1.125rem;
  text-anchor: middle;
  -webkit-user-select: none;
  -moz-user-select: none;
  user-select: none;
}

@media (min-width: 768px) {
  .bd-placeholder-img-lg {
    font-size: 3.5rem;
  }
}

.bi {
  vertical-align: -.125em;
  fill: currentColor;
}

.btn-bd-primary {
  --bd-violet-bg: #712cf9;
  --bd-violet-rgb: 112.520718, 44.062154, 249.437846;

  --bs-btn-font-weight: 600;
  --bs-btn-color: var(--bs-white);
  --bs-btn-bg: var(--bd-violet-bg);
  --bs-btn-border-color: var(--bd-violet-bg);
  --bs-btn-hover-color: var(--bs-white);
  --bs-btn-hover-bg: #6528e0;
  --bs-btn-hover-border-color: #6528e0;
  --bs-btn-focus-shadow-rgb: var(--bd-violet-rgb);
  --bs-btn-active-color: var(--bs-btn-hover-color);
  --bs-btn-active-bg: #5a23c8;
  --bs-btn-active-border-color: #5a23c8;
}

.bd-mode-toggle {
  z-index: 1500;
}

.alert {
  display: inline-block;
  max-width: 80%;
  text-align: left;
}

.question {
  text-align: right;
  white-space: pre-wrap;
}

.answer {
  text-align: left;
  white-space: pre-wrap;
}
.sources {
  font-size: 75%;
}
.p-chat {
  margin-bottom: 0;
}
.code-block-wrapper {
  position: relative;
  margin-top: 0;
  margin-left: 2rem;
  background-color: #c3c3c3;
  padding: 15px;
  border-radius: 5px;
  border: 1px solid #727272;
}
.code-block-wrapper pre {
  margin: 0;
  padding-top: 2rem;
}
.copy-code-btn {
  position: absolute;
  top: 0.3rem;
  right: 0.3rem;
  padding: 0.15rem 0.5rem;
  font-size: 0.75rem;
  line-height: 1.4;
  cursor: pointer;
  border: 1px solid currentColor;
  border-radius: 4px;
  background: transparent;
  opacity: 0.5;
}
.copy-code-btn:hover {
  opacity: 1;
}
span.variable {
    color: #e8912d;
    background-color: #aaaaaa44;
    font-family: Monaco, Menlo, Consolas, Courier New, monospace !important;
    padding-left: 0.2em;
    padding-right: 0.2em;
}
.p-sources {
  margin-top: 1rem;
}