fixups in formatting; minor other stuff.

This commit is contained in:
Nicole Dresselhaus
2025-06-29 13:46:55 +02:00
parent 2ba3c00de4
commit eb2d14ba98
13 changed files with 1186 additions and 1036 deletions

946
dist/search.json vendored

File diff suppressed because one or more lines are too long