add dev-random3 theme