Ticket #51 (new enhancement)
Stroke border
Description
A "border" property to stroke elements is proposed. One way to think of it would be as a stroke applied to both sides of the "main" stroke. A stroke border helps common display tasks such as casing on a streets layer, which are usually polylines, and so themselves represented by a single stroke). This example can currently only be accomplished with a hack: adding a duplicate style below and setting its width to be wider than the street stroke style above. The hack has at least the downside of preventing the entire layer from being less than 100%, lest the color of the border style bleed through and add with the street style.
