/* Resource links live outside the terminal. The original terminal CSS is unchanged. */
.app-resources{height:48px;display:flex;align-items:center;justify-content:space-between;gap:16px;padding:0 max(16px,env(safe-area-inset-right)) 0 max(16px,env(safe-area-inset-left));border-bottom:1px solid #294231;background:#0c130e;color:#b8c2b8;font:13px/1.5 system-ui,sans-serif;position:relative;z-index:60}
.app-resources a{color:#39ff88;text-decoration:none}.app-resources .app-home{padding-block:12px;min-height:44px}.app-resources summary{cursor:pointer;min-height:44px;padding:12px 8px;color:#f2f5f0}.app-resources nav{position:absolute;top:48px;right:12px;max-height:calc(100dvh - 60px);overflow:auto;width:min(270px,calc(100vw - 24px));display:grid;padding:12px;background:#101712;border:1px solid #42614b;box-shadow:0 12px 24px #0008;border-radius:0 0 6px 6px}.app-resources nav a{padding:12px;min-height:44px}.app-resources nav a:hover{background:#1e3225}.app-resources small{padding:10px 12px}.app-resources a:focus-visible,.app-resources summary:focus-visible{outline:2px solid #ffbf3f;outline-offset:2px}.terminal{height:calc(var(--app-height,100dvh) - 48px)}

/* Hide the entire bar while giving the terminal back its full viewport height. */
.app-resources[hidden], #hide-header[hidden] { display: none; }
.resource-actions { display: flex; align-items: center; gap: 4px; }
#hide-header {
  display: inline-grid;
  place-items: center;
  position: relative;
  isolation: isolate;
  flex: 0 0 44px;
  width: 44px;
  height: 44px;
  padding: 0;
  border: 0;
  border-radius: 8px;
  background: transparent;
  color: #98aa9e;
  cursor: pointer;
  transition: color 140ms ease;
}
#hide-header::before {
  content: "";
  position: absolute;
  inset: 8px;
  z-index: -1;
  border-radius: 6px;
  background: transparent;
  transition: background 140ms ease;
}
#hide-header:hover, #hide-header:focus-visible { color: #f2f5f0; }
#hide-header:hover::before, #hide-header:focus-visible::before { background: #ffffff12; }
#hide-header:active::before { background: #39ff8826; }
#hide-header:focus-visible { outline: 2px solid #ffbf3f; outline-offset: 2px; }
@media (prefers-reduced-motion: reduce) {
  #hide-header, #hide-header::before { transition: none; }
}
body.terminal-only .terminal { height: var(--app-height, 100dvh); }
@media (max-width: 420px) {
  .app-resources { gap: 4px; padding-inline: 12px; }
  .app-resources .app-home { font-size: 12px; }
}