From e96f7a998636ec4c15d99ba43a1400a655761cb2 Mon Sep 17 00:00:00 2001 From: Eyal Gruss Date: Mon, 15 Apr 2024 11:20:25 +0300 Subject: [PATCH] small petri fixes --- resen/petri/index.html | 3 --- resen/petri/style.css | 1 + 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/resen/petri/index.html b/resen/petri/index.html index 4668626..3b82144 100644 --- a/resen/petri/index.html +++ b/resen/petri/index.html @@ -137,9 +137,6 @@ -

- העבודה נוצרה עבור רֶסֶן אפס. -

Susan Stepney, ODE to a Petri net (2012).
Owen Lynch, Petri Nets in Action (2019).
diff --git a/resen/petri/style.css b/resen/petri/style.css index 78317ef..1e4d39a 100644 --- a/resen/petri/style.css +++ b/resen/petri/style.css @@ -101,6 +101,7 @@ } #poem { + border: none; box-sizing: border-box; line-height: 2; margin-block: 3em;