/* 门户条：给 /tools/ 下的独立工具戴一顶统一的帽子。
   只作用于 .pt-portalbar 自身，绝不影响工具本体的样式。

   这里的色值必须写死，不能用 var(--pt-*)：本文件由 nginx 直接服务给
   /tools/ 下的独立页面，那些页面不加载 MkDocs 的 portal.css，令牌层
   在这里根本不存在。改配色时这两处要一起改——这是站外页面的固有代价，
   不是漏掉的令牌化。

   ⚠️ 还有第三处：courseware/probability-statistics-undergrad/assets/css/
   portal-bar.css。那门课要打断网可用的离线包，也要在本机验证服务器上跑
   渲染检查与 PDF 导出，根绝对路径在这两种场合都指向不存在的东西，
   所以它按相对路径引了一份副本（末尾另有两条该项目专有的补丁）。
   那份副本由 course-prob 仓库维护，改配色时一并改。 */
.pt-portalbar {
  display: flex;
  align-items: center;
  gap: .6rem;
  height: 32px;
  padding: 0 .9rem;
  background: #0A131C;
  font-family: 'IBM Plex Mono', ui-monospace, Consolas, monospace;
  font-size: 11px;
  line-height: 1;
}
.pt-portalbar * { box-sizing: border-box; }
.pt-portalbar__seal { display: block; width: 18px; height: 18px; flex: none; }
.pt-portalbar__back {
  color: #E8674E;
  font-weight: 700;
  letter-spacing: .06em;
  text-decoration: none;
  white-space: nowrap;
}
.pt-portalbar__back:hover { color: #F2EDE4; }
.pt-portalbar__sep { color: #3A5570; }
.pt-portalbar__here {
  color: #A6B4C2;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.pt-portalbar__dom { margin-left: auto; color: #5f7285; flex: none; }

@media (max-width: 520px) {
  .pt-portalbar { gap: .45rem; padding: 0 .6rem; font-size: 10px; }
  .pt-portalbar__dom { display: none; }
}