Why do we have this and this?

Also, we should probably use arch-common-style to generate the navbar style. (Didn't check yet if there is actually a visual difference...)