Yes, reported some time ago: User selected "Text size" affects button layout in page header and Maintenance announcement - Theme update - #20 by paulw2u 
The header seems to work as intended only with the “Normal” text size. May be that’s how the problem was missed.
I’ve reverted back to the Ubuntu theme for now.