Author: giecrilj

Description:
texhtml class style definition comes from skins/<var >skin-name</var >/main.css. The definition is identical for every skin and needs to be repeated. I do not think this is wise; there should be a better place for that class.

Version: unspecified
Severity: minor