#tag_icons: added HtmlFragments.miniTagIcon()
#tag_icons: fine tuned the icon images