html: separate element refinements into their own file