/* ФИНАЛ /docs/ (20.10.2026):
   1. Отступ сайдбара при скролле — не прилипать к шапке.
   2. Прокси-строка в таблице — стиль группы. */

/* 1. СТИКИ-ОТСТУП: меню прилипало ровно под шапкой (gap 0).
      Даём 20px воздуха — хозяин: «нужен небольшой отступ при скроле, так красивее». */
html body .doc-nav {
  top: 96px !important;          /* 76 (шапка) + 20 (воздух) */
  max-height: calc(100vh - 116px) !important;
  padding-top: 4px !important;
  scrollbar-gutter: stable;
}

/* мягкая тень-разделитель, когда меню «прилипло» — визуально отделяет */
html body .doc-nav::-webkit-scrollbar { width: 6px; }
html body .doc-nav::-webkit-scrollbar-thumb {
  background: rgba(139, 92, 246, .25);
  border-radius: 3px;
}

@media (max-width: 880px) {
  html body .doc-nav {
    top: 72px !important;
    max-height: calc(100vh - 88px) !important;
  }
}