* General GUI cleanup.
* When game is lost, show wrongly marked bombs separatly.
* Order themes in list by pixel size.
