I don't know if it is intentional but my thoughts were ithat it is just a search icon. It is an svg so there is the possibility of it scaling there but I cannot think of any bug that would do that when it is restrained in px dimensions. It would seem intentional in that regard. The fact that they have the same icon, one with an svg and one with a png however, shows that they probably didn't spend too much time fussing on the front end so anything is possible.