This these us based off the 1.4.1 branch that ace editor is using, to have a dark theme instead of the bright one.