Bug fix: global replacement of dots and file separators in a CSS class name.