/* Layout additions to the existing RascalDocs dark theme. */
:root { --theme-color: #679CCA; }
html { scroll-behavior: smooth; }
.search { padding: 6px; margin-bottom: 20px; }
.search input { box-sizing: border-box; outline: none; width: 100%; padding: 0.6em 7px; border: 1px solid transparent; font-size: 16px; }
.search .results-panel:empty { display: none; }
.search .matching-post { padding: 0 10px; margin: 12px 0; border-bottom: 1px solid #444; }
.search .matching-post a { color: #679CCA; text-decoration: none; }
.search .matching-post p { font-size: 13px; line-height: 1.5; }
.sidebar { position: fixed; padding-top: 0; }
body:not(:has(.cover)) .sidebar-toggle { position: fixed; }
body:has(.cover) .sidebar { position: absolute; }
.sidebar-nav > ul { margin-bottom: 0; }
section.cover {
  background:
    radial-gradient(circle at 50% 29%, rgba(243, 154, 38, 0.22) 0, rgba(243, 154, 38, 0.08) 12rem, transparent 26rem),
    linear-gradient(to left bottom, #1664ab 0%, #063e72 100%) !important;
}
section.cover .cover-main > blockquote {
  margin: 2rem 0 0;
}
section.cover .cover-main > p:last-child {
  align-items: stretch;
  display: flex;
  flex-wrap: wrap;
  gap: 0.8rem;
  justify-content: center;
}
section.cover .cover-main > p:last-child a,
section.cover .cover-main > p:last-child a:last-child {
  align-items: center;
  border-width: 2px;
  display: inline-flex;
  font-weight: 600;
  justify-content: center;
  letter-spacing: 0.035em;
  margin: 0.35rem 0;
  min-height: 3.25rem;
  min-width: 13rem;
  padding: 0.85rem 2.25rem;
  transition: background-color 0.15s ease, box-shadow 0.15s ease, transform 0.15s ease;
}
section.cover .cover-main > p:last-child a:first-child {
  background: #f39a26;
  border-color: #f39a26;
  color: #032b50;
}
section.cover .cover-main > p:last-child a:last-child {
  background: rgba(6, 62, 114, 0.42);
  border-color: #fff3f3;
  color: #fff3f3;
}
section.cover .cover-main > p:last-child a:first-child:hover {
  background: #ffad32;
  border-color: #ffad32;
  color: #032b50;
  opacity: 1;
  transform: translateY(-2px);
  box-shadow: 0 0.5rem 1.25rem rgba(6, 35, 63, 0.3);
}
section.cover .cover-main > p:last-child a:last-child:hover {
  background: rgba(255, 243, 243, 0.12);
  color: #fff3f3;
  opacity: 1;
  transform: translateY(-2px);
  box-shadow: 0 0.5rem 1.25rem rgba(6, 35, 63, 0.3);
}
section.cover .cover-main > p:last-child a:focus-visible {
  outline: 3px solid #fff3f3;
  outline-offset: 4px;
}
.markdown-section pre code { display: block; }
.copy-code { position: absolute; top: 8px; right: 8px; padding: 6px 9px; color: #fff3f3; background: #333; border: 1px solid #555; border-radius: 3px; cursor: pointer; opacity: 0; }
pre:hover .copy-code, .copy-code:focus-visible { opacity: 1; }
:focus-visible { outline: 2px solid #679CCA; outline-offset: 3px; }
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  section.cover .cover-main > p:last-child a { transition: none; }
}
@media (max-width: 768px) { .copy-code { opacity: 1; } }