/* for theme manual */