From dcad48ec90c45bacb731ef9c740fbbba603318b4 Mon Sep 17 00:00:00 2001 From: David Evans Date: Sat, 5 May 2018 15:04:57 +0100 Subject: [PATCH] Improve printing of editor and library page [#53] --- README.md | 6 +- library.htm | 42 ++++++++++++-- web/styles/editor.css | 33 +++++++++++ web/styles/library.css | 125 ++++++++++++++++++++++++++++++++++++++++- 4 files changed, 195 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 996c1c4..45b30e6 100644 --- a/README.md +++ b/README.md @@ -203,7 +203,8 @@ end Baz note over Foo, Bar: Using * / ! -# * and ! cause agents to be created and destroyed inline +# * and ! cause agents to be +# created and destroyed inline Bar -> *Baz: make Baz Foo <- !Baz: end Baz @@ -257,7 +258,8 @@ Bar -> Baz ``` begin Initiator as I, Receiver as R -# the '...id' syntax allows connections to span multiple lines +# the '...id' syntax allows connections +# to span multiple lines I -> ...fin1 ...fin1 -> R: FIN diff --git a/library.htm b/library.htm index 23d4b11..46372fa 100644 --- a/library.htm +++ b/library.htm @@ -154,7 +154,7 @@ converted when the page loads: -
+