rwx.work/todo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ruff/format
All checks were successful
/ job (push) Successful in 1m18s
Details

Browse source
This commit is contained in:
Marc Beninca 2024-12-11 21:21:49 +01:00
parent 0987cfe925
commit 3967cf176f
Signed by: marc.beninca
GPG key ID: 9C7613450C80C24F
1 changed files with 10 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
build.py
View file

@ -14,12 +14,17 @@ if __name__ == "__main__":
make_directory(out) make_directory(out)
run("dot", str(gv), "-Tsvg", "-o", str(svg)) run("dot", str(gv), "-Tsvg", "-o", str(svg))
text = read_file_text(svg) text = read_file_text(svg)
write(out / "index.css", """\ write(
out / "index.css",
"""\
html { html {
background-color: #202020; background-color: #202020;
} }
""") """,
write(out / "index.html", f"""\ )
write(
out / "index.html",
f"""\
<!DOCTYPE html> <!DOCTYPE html>
<html><head> <html><head>
@ -32,4 +37,5 @@ background-color: #202020;
{text} {text}
</body></html> </body></html>
""") """,
)