chiark / gitweb /
docs: Change sphinx theme to classic