CSS: need less shadow now that execution trace has its own 'summary'

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;
 }

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});

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;

src/Plant/DigitalWatch/DigitalWatch.css

@@ -11,4 +11,3 @@
   fill: red;
   fill-opacity: 1;
 }
-