repo with some Opera themes