Board Thread:Support Requests - Designing Your Wiki/@comment-33575901-20180813025228/@comment-27820485-20180813042317

They appear to be using this code. Although, I am not sure if Staff will allow this because it is a modification to the header and such modifications outside of Theme Designer are not allowed by the Customization Policy.