David Evans
|
5e47790efd
|
Use consistent monospace font, re-order SVG layers to work around PhantomJS rendering glitch, replace screenshots with commandline-generated versions [#52]
|
2018-04-22 22:44:26 +01:00 |
|
David Evans
|
7b8af40a24
|
Make vertical spacing more consistent
|
2017-11-22 18:24:33 +00:00 |
|
David Evans
|
121830f69c
|
Add alternative arrow types [#20]
|
2017-11-08 22:50:41 +00:00 |
|
David Evans
|
3b1fa67466
|
Simplify arrow rendering and fix 'bar' terminator width
|
2017-11-05 18:42:09 +00:00 |
|
David Evans
|
ddb4430ed2
|
Add support for aliases, and fix various issues when using the same agent multiple times in a statement [#19]
|
2017-11-05 17:10:06 +00:00 |