Imported a custom lighter theme from long ago