1 files changed, 11 insertions, 0 deletions
diff --git a/css.sh b/css.sh
new file mode 100755
index 0000000..420878b
--- /dev/null
+++ b/css.sh
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+set -Eeuo pipefail
+cd "$(dirname "${BASH_SOURCE[@]}")"
+
+nix-build -A subtasks.docs
+rm -rf tmp/
+mkdir tmp/
+
+cp -R result/* tmp/
+chmod -R +w tmp/
+cp site/css/styles.css tmp/css/