Opera 12 released with customizable themes