chiark / gitweb /
Fiddle with CSS+HTML in effort to get more consistent buttons