Make dev.scriptureforge.org map to default theme scriptureforge