clean.css: rework the table.propdef styling; also use it for table.info styling