it seems like github only supports rough now no matter whats set. So we switch to it. With a small .highlight background change it looks the same