/* v4.61.1 navigation only; no changes to workbench measurement or visualization CSS */
#ocean4611Nav { margin: 1rem 0 1.5rem; padding: 1.2rem; border: 1px solid #666; border-left: 4px solid #ba2525; border-radius: 10px; background: #171717; color: #fff; }
#ocean4611Nav h3 { margin: 0 0 .45rem; color: #fff; font-size: 1.2rem; }
#ocean4611Nav p { margin: 0 0 .9rem; color: #ddd; line-height: 1.45; }
#ocean4611Nav .ocean4611-links { display: flex; gap: .65rem; flex-wrap: wrap; }
#ocean4611Nav .ocean4611-link { appearance: none; background: #fff; color: #121212; border: 1px solid #ccc; border-radius: 6px; padding: .68rem 1.1rem; font: inherit; font-weight: 700; cursor: pointer; min-height: 44px; }
#ocean4611Nav .ocean4611-link:hover { background: #eee; }
#ocean4611Nav .ocean4611-link:focus-visible { outline: 3px solid #e44; outline-offset: 3px; }
#ocean4611Nav .ocean4611-link:disabled { cursor: not-allowed; opacity: .45; }
@media (max-width: 600px) { #ocean4611Nav .ocean4611-link { flex: 1 1 100%; } }