This is a custom theme based on:
https://meta.discourse.org/t/banner-themes-and-instructions-for-customizing-them/82368