output theme and themefile for xde-identify