A silly messy repository for my talk on CSS buttons