some more tweaks to style for div and conq