tramee2svg: style adjustment, smaller font, shorter lines