Mario Zechner 6267720660 Add theme-configurable HTML export colors (from PR #387) ...

- Add optional 'export' section to theme JSON with pageBg, cardBg, infoBg
- If not specified, colors are auto-derived from userMessageBg
- Add export colors to dark.json and light.json
- Update theme-schema.json and TypeBox schema
- Add documentation to docs/theme.md
- Add margin-top back to tool-output for spacing between header and content

2026-01-01 22:21:40 +01:00

..

vendor

WIP: Rewrite export-html with tree sidebar, client-side rendering

2026-01-01 03:36:47 +01:00

index.ts

Add theme-configurable HTML export colors (from PR #387)

2026-01-01 22:21:40 +01:00

template.css

Add theme-configurable HTML export colors (from PR #387)

2026-01-01 22:21:40 +01:00

template.html

Refactor export-html and add /share command

2026-01-01 21:13:40 +01:00

template.js

Fix HTML escaping in markdown code blocks

2026-01-01 22:03:01 +01:00