Rename theme.html to jl7dark.html