{ const container = $el; // The div with overflow const item = document.getElementById('sidebar-current-page') if (item) { const containerTop = container.scrollTop; const containerBottom = containerTop + container.clientHeight; const itemTop = item.offsetTop - container.offsetTop; const itemBottom = itemTop + item.offsetHeight; // Scroll only if the item is out of view if (itemBottom > containerBottom - 200) { container.scrollTop = itemTop - (container.clientHeight / 2 - item.offsetHeight / 2); } } })" class="bg-background-toc dark:bg-background-toc fixed top-0 z-40 hidden h-screen w-full flex-none overflow-x-hidden overflow-y-auto md:sticky md:top-16 md:z-auto md:block md:h-[calc(100vh-64px)] md:w-[320px]" :class="{ 'hidden': ! $store.showSidebar }">

{
  "description": "path is the sandbox path of a regular file.",
  "minLength": 1,
  "type": "string"
}

{
  "additionalProperties": false,
  "description": "ReadFileRequest names one regular file.",
  "properties": {
    "path": {
      "description": "path is the sandbox path of a regular file.",
      "minLength": 1,
      "type": "string"
    }
  },
  "required": [
    "path"
  ],
  "title": "ReadFileRequest",
  "type": "object"
}