| commit | 6a64a7ad17885b36154d7b88ae31c92d2874696e | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed Jul 21 15:19:21 2021 +0100 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed Jul 21 15:19:21 2021 +0100 |
| tree | fe41a0616d90cf7cdc044d20a6cd17e59762f221 | |
| parent | 61c0c09e94419f73e20d8c1a66344950ada946e0 [diff] |
Added CSS rule for mermaid arrows Signed-off-by: Dimitris Kolovos <dkolovos@cs.york.ac.uk>