Tweaks to HTML output of knodules