From af60e811fcca33629d8e896b19bb0384292329a8 Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Thu, 23 Oct 2025 19:58:06 +0200
Subject: [PATCH] CSS: need less shadow now that execution trace has its own
 'summary'

---
 src/App/AST.css                         | 2 +-
 src/App/App.tsx                         | 1 -
 src/App/RTHistory.tsx                   | 2 +-
 src/Plant/DigitalWatch/DigitalWatch.css | 1 -
 4 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/App/AST.css b/src/App/AST.css
index 1617deb..d2e6f7f 100644
--- a/src/App/AST.css
+++ b/src/App/AST.css
@@ -117,6 +117,6 @@ ul {
 }
 
 .shadowBelow {
-  box-shadow: 0 -15px 15px 15px rgba(0, 0, 0, 0.4);
+  box-shadow: 0 -5px 5px 5px rgba(0, 0, 0, 0.4);
   z-index: 1;
 }
diff --git a/src/App/App.tsx b/src/App/App.tsx
index 5a5b7f9..b940e9c 100644
--- a/src/App/App.tsx
+++ b/src/App/App.tsx
@@ -200,7 +200,6 @@ export function App() {
       const nextConfig = handleInputEvent(simtime, event, ast, config as BigStep); // may throw
       let plantState = config.plantState;
       for (const o of nextConfig.outputEvents) {
-        console.log(o);
         plantState = plant.reduce(o, plantState);
       }
       console.log({plantState});
diff --git a/src/App/RTHistory.tsx b/src/App/RTHistory.tsx
index 8110df2..90d8f74 100644
--- a/src/App/RTHistory.tsx
+++ b/src/App/RTHistory.tsx
@@ -30,7 +30,7 @@ export function RTHistory({trace, setTrace, ast, setTime}: RTHistoryProps) {
         const newStates = item.mode.difference(trace.trace[i-1]?.mode || new Set());
         return <div
           className={"runtimeState" + (i === trace.idx ? " active" : "")}
-          onClick={() => gotoRt(i, item.simtime)}>
+          onMouseDown={() => gotoRt(i, item.simtime)}>
           <div>
             {formatTime(item.simtime)}
             &emsp;
diff --git a/src/Plant/DigitalWatch/DigitalWatch.css b/src/Plant/DigitalWatch/DigitalWatch.css
index 77449b0..bc0e862 100644
--- a/src/Plant/DigitalWatch/DigitalWatch.css
+++ b/src/Plant/DigitalWatch/DigitalWatch.css
@@ -11,4 +11,3 @@
   fill: red;
   fill-opacity: 1;
 }
-