antoniop
committed
on 14 Jun
Use a HTML-quote safe idiom to indent categories in the widget