assets css fonts js .envrc .gitignore devenv.lock devenv.nix devenv.yaml favicon.ico index.html robots.txt