code highlight: add css-class attribute
infodeck: fix error in help text