Default dddark-color-theme.json Darken dddark-darken-color-theme.json Changes All "#131517" -> "#101113"