chiark / gitweb /
Add full screen option for MacOS.