Publish Docs

Workflow runs for Publish Docs

• fix docs linkcheck

  failed:
  Publish Docs#39:Commitb403a7apushedbyArchmonger
  new-docs

  Oct 18, 202614s
  More actions for workflow run 39

• docs linting workflow

  failed:
  Publish Docs#38:Commitee1a453pushedbyArchmonger
  new-docs

  Oct 18, 202612s
  More actions for workflow run 38

• fix home href

  completed successfully:
  Publish Docs#37:Commit472016apushedbyArchmonger
  new-docs

  Oct 18, 202645s
  More actions for workflow run 37

• fix license path

  completed successfully:
  Publish Docs#36:Commit40cda13pushedbyArchmonger
  new-docs

  Oct 18, 202649s
  More actions for workflow run 36

• remove old copilot instructions.md

  completed successfully:
  Publish Docs#35:Commit7e00f9bpushedbyArchmonger
  new-docs

  Oct 18, 202648s
  More actions for workflow run 35

• reintroduce source from main branch

  completed successfully:
  Publish Docs#34:Commitd4f9252pushedbyArchmonger
  new-docs

  Oct 18, 202649s
  More actions for workflow run 34

• docs: describe the live event proxy from #1352

  completed successfully:
  Publish Docs#33:Commit67652fapushedbyArchmonger
  new-docs

  Oct 18, 202642s
  More actions for workflow run 33

• docs: correct what PyScript actually strips, and what dict == costs

  completed successfully:
  Publish Docs#32:Commitb278ab4pushedbyArchmonger
  new-docs

  Oct 17, 202634s
  More actions for workflow run 32

• Update navigation structure in mkdocs.yml

  completed successfully:
  Publish Docs#31:Commit208e0aapushedbyArchmonger
  new-docs

  Oct 14, 202633s
  More actions for workflow run 31

• Enable section-index plugin in mkdocs configuration

  completed successfully:
  Publish Docs#30:Commit9c7d3bcpushedbyArchmonger
  new-docs

  Oct 14, 202651s
  More actions for workflow run 30

• Adjust sidebar font size variable to 0.75rem

  completed successfully:
  Publish Docs#29:Commit0e1260bpushedbyArchmonger
  new-docs

  Oct 14, 202643s
  More actions for workflow run 29

• Remove padding on tabbed labels

  completed successfully:
  Publish Docs#28:Commit95ce88dpushedbyArchmonger
  new-docs

  Oct 14, 202639s
  More actions for workflow run 28

• Update sidebar font sizes and weight

  completed successfully:
  Publish Docs#27:Commita0b90dbpushedbyArchmonger
  new-docs

  Oct 14, 202633s
  More actions for workflow run 27

• fix titlepage

  completed successfully:
  Publish Docs#26:Commit1dd93b9pushedbyArchmonger
  new-docs

  Oct 14, 202651s
  More actions for workflow run 26

• docs(theme): fix sidebar, TOC, and code-header styling

  completed successfully:
  Publish Docs#25:Commitcd74ea3pushedbyArchmonger
  new-docs

  Oct 12, 202648s
  More actions for workflow run 25