From b70843a033a15320c0d3775bb8f50c27f300b4c7 Mon Sep 17 00:00:00 2001 From: Amaan Qureshi Date: Wed, 25 Dec 2024 18:51:18 -0500 Subject: [PATCH] fix(playground): add dark theme, align ui more akin to upstream playground --- cli/src/playground.html | 363 +++++++++++++++++++++++++------ docs/src/7-playground.md | 2 +- docs/src/assets/js/playground.js | 27 ++- 3 files changed, 317 insertions(+), 75 deletions(-) diff --git a/cli/src/playground.html b/cli/src/playground.html index 2a1cfe3c..20068bc6 100644 --- a/cli/src/playground.html +++ b/cli/src/playground.html @@ -12,51 +12,67 @@