edit theme.lua