/* Solid, not translucent: the explorer's page is light, so an rgba bar renders a
   different shade there than on the dark site pages. */
.bxnav{position:sticky;top:0;z-index:40;background:#01091e;
  border-bottom:1px solid #152341;
  font:16px/1.65 "Helvetica Neue",Helvetica,Arial,system-ui,sans-serif}
.bxnav .wrap{max-width:1120px;margin:0 auto;padding:0 26px;
  display:flex;align-items:center;gap:22px;height:58px}
.bxnav .brand{display:flex;align-items:center;gap:9px;color:#e8eff8;
  text-decoration:none;font-weight:600;letter-spacing:-.2px;white-space:nowrap}
.bxnav .brand b{color:#3ab4cd;font-weight:600}
.bxnav .brand img{height:24px;width:24px;border-radius:6px;flex:0 0 auto}
.bxnav .navlinks{display:flex;gap:19px;margin-left:auto;flex-wrap:wrap;
  font-size:14.5px}
.bxnav .navlinks a{color:#7d90a6;text-decoration:none;white-space:nowrap}
.bxnav .navlinks a:hover,.bxnav .navlinks a.on{color:#e8eff8}
/* The Explorer is the thing the site exists to send people to, so it is the one
   link that reads as an action rather than as navigation. */
.bxnav .navlinks a.tool{color:#3ab4cd;font-weight:600}
.bxnav .navlinks a.tool:hover,.bxnav .navlinks a.tool.on{color:#59ce8a}
.bxnav .rel{color:#5d6f85;font-size:11.5px;white-space:nowrap}