ref #117: themes and format renderer