Renames hideBullet to hide-bullet in css
If there is only 1 solution in repo, take user immediately there
Fixes earlier commit where not all vars got renamed
GUI: pick solution page