Dev Tools Menu grows from a badge into a full menu.

Notes from the bench

• One container animates its size and corner radius, so the badge and the menu read as the same object.
• Content cross-fades with a little blur. Without it, text visibly stretches during the morph.
• The hover highlight shares one animated pill across rows, so it slides instead of blinking.