From b791e9d3f1d66c0f0c66fd582428994f5c3393a3 Mon Sep 17 00:00:00 2001 From: David Mosbach Date: Sun, 28 May 2023 20:18:24 +0200 Subject: [PATCH] edges can now be created --- editor.css | 20 ++++++++++++++++++++ editor.html | 5 +++-- editor.js | 41 ++++++++++++++++++++++++++++++----------- 3 files changed, 53 insertions(+), 13 deletions(-) diff --git a/editor.css b/editor.css index afad159..8dd5acb 100644 --- a/editor.css +++ b/editor.css @@ -155,4 +155,24 @@ a:hover { a:active { color: rgb(110, 212, 212); +} + +button { + padding: 5 5 5 5; + border-radius: 5px; + border-style: solid; + border-color: transparent; + background: rgba(120, 120, 120, 0.555); + color: white; +} + +button:disabled { + border-color: rgba(0, 0, 0, 0.267); + background: rgba(120, 120, 120, 0.116); + color: rgba(0, 0, 0, 0.267); + border-width: 1px; +} + +select, option { + padding: 2 2 2 2; } \ No newline at end of file diff --git a/editor.html b/editor.html index baacbef..cf3a658 100644 --- a/editor.html +++ b/editor.html @@ -33,6 +33,7 @@
+
@@ -50,13 +51,13 @@
-