default style for STGs does not include min-trap-spaces (seems a bit advanced). adjusted penwidth of styles (all the same width, prettier)
Authored by: hannesklarner 2015-11-11
Parent: [r127]
Child: [r129]
