src: minor linting
src/ui/ResponsiveMenu: copied from 'old'