chiark / gitweb /
Hack to align rights check buttons. They're still not aligned with