/* Original theme settings remain in the archived stylesheets. */