Map to local port 8080 for the file server

Caddyfile

@@ -1,12 +1,12 @@
 # DSA Tutoring microsite
 #
-# For local use, serves on port 80.
+# For local use, serves on port 8080
 # Replace :80 with your domain (e.g. dsa-tutoring.example.com) for
 # automatic HTTPS via Let's Encrypt.
 #
 # Run `python build.py` first to generate the public/ directory.
 
-dsa-tutoring.bchen.dev {
+:8080 {
     root * /srv/public
     encode gzip
     file_server

docker-compose.yml

@@ -12,10 +12,7 @@ services:
       builder:
         condition: service_completed_successfully
     ports:
-      - "80:80"
-      - "443:443"
-      - "8080:8080"  # test port
-      - "443:443/udp"
+      - "8080:8080"
     volumes:
       - ./Caddyfile:/etc/caddy/Caddyfile
       - ./public:/srv/public:ro