{ 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 }">

{
  "type": "string"
}

{
  "description": "argv is the command and its arguments, exec-style. An argument other than\nthe executable itself may be empty (an intentional empty string, as in\n`printf %s \"\"`); only the vector itself is required non-empty.",
  "items": {
    "type": "string"
  },
  "minItems": 1,
  "type": "array"
}

{
  "description": "background launches the command detached instead of waiting for it.",
  "type": "boolean"
}

{
  "description": "user runs the command as this user; empty means the backend default.",
  "type": "string"
}

{
  "additionalProperties": false,
  "description": "KitStartupCommand is one startup command in a KitStartup set, run in order\nby a backend that replays it at sandbox boot.",
  "properties": {
    "argv": {
      "description": "argv is the command and its arguments, exec-style. An argument other than\nthe executable itself may be empty (an intentional empty string, as in\n`printf %s \"\"`); only the vector itself is required non-empty.",
      "items": {
        "type": "string"
      },
      "minItems": 1,
      "type": "array"
    },
    "background": {
      "description": "background launches the command detached instead of waiting for it.",
      "type": "boolean"
    },
    "user": {
      "description": "user runs the command as this user; empty means the backend default.",
      "type": "string"
    }
  },
  "required": [
    "argv"
  ],
  "title": "KitStartupCommand",
  "type": "object"
}