This mostly just makes this look nice in web browsers with small displays,
like cell phones reading the GitHub project page.