My personalised copy of the default GitHub theme