Another style tweak.
Another style tweak.

hausdorff/bangbangcon.github.io,bangbangcon/bangbangcon.github.io,bangbangcon/bangbangcon.github.io,bangbangcon/bangbangcon.github.io,bangbangcon/bangbangcon.github.io,bangbangcon/bangbangcon.github.io,hausdorff/bangbangcon.github.io,bangbangcon/bangbangcon.github.io,hausdorff/bangbangcon.github.io,bangbangcon/bangbangcon.github.io