no wrl for red-theme-display