@font-face {
  font-family: 'TahomaLocal';
  src: url('tahoma.ttf') format('truetype');
  font-weight: normal;
  font-style: normal;
}

html, body {
  height: 100%;
}
body {
  display: flex;
  flex-direction: column;
  min-height: 100vh;
  font-family: 'TahomaLocal', Tahoma, Geneva, Verdana, sans-serif;
}

.hl-nav {
  display: none;
  gap: .5rem;
  align-items: center;
  position: fixed;
  bottom: 1rem;
  right: 1rem;
  background: #fff;
  border: 1px solid #ccc;
  box-shadow: 0 4px 12px rgba(0,0,0,.15);
  border-radius: 1rem;
  padding: .5rem 1rem;
  z-index: 1000;
}

.hl-nav {
  opacity: 0;
  transition: opacity 0.3s ease-in-out;
}
.hl-nav.visible {
  opacity: 1;
}

mark.hl-anchor { background:#ffd76a; padding:0 .2em; }
mark.hl        { background:#ffea62; padding:0 .2em; }
mark.current   { outline:2px solid #ff9800; }
.hl-nav        { display:none; gap:.5rem; align-items:center; position:sticky; top:0; background:#fff; z-index:100; padding:.5rem 0; }

main {
  flex: 1 0 auto; /* allow main content to grow */
  padding-top: 70px;
}
footer {
  flex-shrink: 0;
  background: #f8f9fa;
  padding: 20px 0;
  border-top: 1px solid #e5e5e5;
}
.navbar-brand img { width: 60px; }

.mark { background: orange; padding:0 2px; border-radius:2px }
pre, .text-preserve { white-space: pre-wrap; word-break: break-word; }
.active-result-row {
      background-color: #fff3cd !important;   /* soft yellow */
  }


  .summary-row {
    cursor: pointer;
  }
.summary-row.active-result-row > td {
  background-color: #d9edf7 !important;
}

  #details-body {
    max-height: 100%;
    overflow-y: auto;
}


/* Bootstrap primary color override */
:root {
    --bs-primary: #fdbf52;
    --bs-primary-rgb: 253, 191, 82;
}

/* Override background + borders + text using .btn-primary, .bg-primary, etc. */
.btn-primary,
.bg-primary,
.border-primary,
.text-primary,
.list-group-item-primary,
.alert-primary {
    --bs-btn-bg: #fdbf52;
    --bs-btn-border-color: #fdbf52;
    --bs-btn-hover-bg: #e6ab46;
    --bs-btn-hover-border-color: #e6ab46;
    --bs-btn-active-bg: #d49a3f;
    --bs-btn-active-border-color: #d49a3f;

    background-color: #fdbf52 !important;
    border-color: #fdbf52 !important;
    color: #000 !important;
}

/* Primary links */
a.text-primary:hover,
a.text-primary:focus {
    color: #d49a3f !important;
}

/* Progress bars, badges, etc. */
.progress-bar.bg-primary,
.badge.bg-primary,
.badge-primary {
    background-color: #fdbf52 !important;
}

/* Pagination */
.page-item.active .page-link {
    background-color: #fdbf52 !important;
    border-color: #fdbf52 !important;
}


.page-link{
   color: #000 !important;
}