fitnesse_mint theme set as default