:root {
  --menu-bg: #0f172a;        /* dark slate */
  --menu-accent: #3b82f6;    /* blue */
  --menu-text: #e5e7eb;      /* light gray */
  --menu-text-active: #ffffff;
  --menu-hover-bg: rgba(59, 130, 246, 0.12);
}

/* container */
ul.menu {
  list-style: none;
  margin: 0;
  padding: 0 1.5rem;
  width: 100%;
  height: 3.25rem;
  display: flex;                     /* modern layout */
  align-items: center;
  gap: 0.5rem;
  background: var(--menu-bg);
  border-bottom: 1px solid rgba(148, 163, 184, 0.5);
  font-family: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
               Roboto, Helvetica, Arial, sans-serif;
  font-size: 0.95rem;
  box-shadow: 0 1px 2px rgba(15, 23, 42, 0.25);
}

/* remove old float layout */
ul.menu li {
  margin: 0;
  padding: 0;
}

/* links */
ul.menu li a {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  padding: 0.35rem 0.9rem;
  height: 2.3rem;
  border-radius: 999px;              /* pill shape */
  color: var(--menu-text);
  text-decoration: none;
  font-weight: 500;
  letter-spacing: 0.01em;
  transition:
    background-color 150ms ease-out,
    color 150ms ease-out,
    box-shadow 150ms ease-out,
    transform 120ms ease-out;
}

/* hover / focus */
ul.menu li a:hover,
ul.menu li a:focus-visible {
  background-color: var(--menu-hover-bg);
  color: var(--menu-text-active);
  box-shadow: 0 0 0 1px rgba(148, 163, 184, 0.5);
  outline: none;
}

/* current / active item
   (add class="current" to <li> or to <a>, both supported) */
ul.menu li.current > a,
ul.menu li > a.current {
  background: linear-gradient(135deg, var(--menu-accent), #2563eb);
  color: var(--menu-text-active);
  box-shadow: 0 4px 10px rgba(37, 99, 235, 0.45);
}

/* optional: compact “red theme” version */
ul.menu.red {
  --menu-bg: #111827;
  --menu-accent: #ef4444;
}

ul.menu.red li.current > a,
ul.menu.red li > a.current {
  background: linear-gradient(135deg, var(--menu-accent), #b91c1c);
}

/* small screens */
@media (max-width: 640px) {
  ul.menu {
    flex-wrap: wrap;
    height: auto;
    padding-block: 0.4rem;
  }

  ul.menu li {
    flex: 1 1 auto;
  }

  ul.menu li a {
    width: 100%;
    justify-content: center;
  }
}

/* optional tooltip style replacing #pup */
#pup {
  position: absolute;
  z-index: 200;
  padding: 0.35rem 0.6rem;
  margin-left: 10px;
  margin-top: 5px;
  max-width: 260px;
  border-radius: 0.45rem;
  border: 1px solid rgba(15, 23, 42, 0.8);
  background: rgba(15, 23, 42, 0.97);
  color: #e5e7eb;
  font-size: 0.8rem;
  line-height: 1.35;
  box-shadow: 0 8px 20px rgba(15, 23, 42, 0.55);
}