Dev tools theme extension port of Spacegray