/* bench bar: the slim navigation bin/import-review.php adds to the top of each imported review report.
   It borrows the report's own tokens (report.css), with fallbacks, so it follows the report's light and dark themes.
   After changing this file, re-run php bin/import-review.php --all so the reports pick up the new ?v= version. */
.bench-bar {
  max-width: var(--wide, 1120px);
  margin: 0 auto;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 6px 10px;
  padding: 12px 0 11px;
  border-bottom: 1px solid var(--line, rgba(170, 196, 255, .09));
  font: 500 13px/1.3 var(--mono, "JetBrains Mono", ui-monospace, monospace);
  color: var(--text-3, #7d89a1);
}
.bench-bar a { color: var(--text-2, #a3afc2); text-decoration: none; }
.bench-bar a:hover { color: var(--text-1, #e8edf5); }
.bench-bar-home { display: inline-flex; align-items: center; gap: 7px; }
.bench-bar-home span { font: 800 16px/1 var(--display, "Syne", "Arial Black", sans-serif); letter-spacing: -.03em; color: var(--text-1, #e8edf5); }
.bench-bar-glyph { width: 16px; height: 16px; display: block; }
.bench-bar-sep { color: var(--text-3, #7d89a1); opacity: .7; }
.bench-bar-here { color: var(--text-1, #e8edf5); }
.bench-bar-links { margin-left: auto; display: inline-flex; flex-wrap: wrap; gap: 4px 16px; }
@media (max-width: 560px) { .bench-bar-links { margin-left: 0; width: 100%; } }
@media print { .bench-bar { display: none; } }