/* Terminal + copy button — styled by @elements/style (.terminal). */