/* Classic theme: preserves current frontend exactly. */