Fix double dollar sign on search page.
Fix double dollar sign on search page.

rafaelbiriba/caskroom.github.io,caskroom/caskroom.github.io,caskroom/caskroom.github.io,elovelan/caskroom.github.io,rafaelbiriba/caskroom.github.io,elovelan/caskroom.github.io