Note that a different header bar color is possible with a custom brand theme, which is something that can be requested by users with a co-branding agreement. So while it’s indeed not possible to change the header bar color yourself, getting a different color is not impossible. More on this here: https://docs.dataminer.services/user-guide/Reference/Custom_branding.html