Dev/prod split + formatting

There's now Github app keys for dev vs. prod.

Made it look a little better.
Look-and-feel touchups.