/* Сохранённые настройки исходной темы; Divi не используется. */
