/* Docs overrides - mobile usability fix only.
   The original header action row (Interactive Tools + Dashboard + sidebar
   toggle) does not collapse, which causes horizontal overflow on phones
   (content width 584px on a 390px viewport). Fix, keeping one tidy row:
   - <= 640px: hide the external Dashboard button (still linked in the footer
     of every page); tighten the action gap.
   - <= 480px: hide the Interactive Tools shortcut (tools remain one tap away
     on larger screens and via the full docs portal) and the small DOCS badge
     so the brand fits the narrow wrap.
   The original style.css is untouched. */
@media (max-width: 640px) {
  .dashboard-btn { display: none; }
  .nav-actions { gap: 10px; }
}
@media (max-width: 480px) {
  .tool-shortcut-btn { display: none; }
  .docs-tag { display: none; }
}