feat: add custom site stylesheet with theme and components

This commit is contained in:
Abdessamad Derraz
2026-04-02 00:48:02 +02:00
parent 22829cfab9
commit 95b7a9813c
2 changed files with 585 additions and 0 deletions

View File

@@ -2099,6 +2099,13 @@ def main():
for d in GENERATED_DIRS:
(docs / d).mkdir(parents=True, exist_ok=True)
# Copy stylesheet if source exists
css_src = Path("docs_assets") / "extra.css"
css_dest = docs / "stylesheets" / "extra.css"
if css_src.exists():
css_dest.parent.mkdir(parents=True, exist_ok=True)
shutil.copy2(css_src, css_dest)
registry_path = Path(args.platforms_dir) / "_registry.yml"
registry = {}
if registry_path.exists():