@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 */
  }