}
final int rx = area.crOriginX();
final int ry = area.crOriginY();
final int w = area.crIpd();
final int th = area.traitRuleThickness();
final RuleStyle st = area.traitRuleStyle();
// checks whether thickness is = 0, because of bug in pdf (or where?),
// a line with thickness 0 is still displayed
if (th != 0) {
switch (st) {