Adds notheme option