@plures/praxis 1.0.2 → 1.1.0

package/src/examples/advanced-todo/App.svelte

@@ -1,506 +1,506 @@
-<!-- 
-  Advanced Todo App - Svelte 5 Component
-  
-  This component demonstrates:
-  - Svelte 5 runes integration with Praxis
-  - History state pattern with undo/redo
-  - Time-travel debugging
-  - Reactive derived values
--->
-
-<script lang="ts">
-  import { usePraxisEngine } from '@plures/praxis/svelte';
-  import {
-    createTodoEngine,
-    getFilteredTodos,
-    getStats,
-    AddTodo,
-    ToggleTodo,
-    RemoveTodo,
-    SetFilter,
-    CompleteAll,
-    ClearCompleted,
-    type TodoItem,
-  } from './index';
-
-  // Create engine with history enabled
-  const engine = createTodoEngine();
-  const {
-    context,
-    dispatch,
-    undo,
-    redo,
-    canUndo,
-    canRedo,
-    snapshots,
-    historyIndex,
-    goToSnapshot,
-  } = usePraxisEngine(engine, {
-    enableHistory: true,
-    maxHistorySize: 50,
-  });
-
-  // Local UI state
-  let newTodoText = $state('');
-  let showDebugger = $state(false);
-
-  // Derived reactive values
-  $: filteredTodos = getFilteredTodos(context.todos, context.filter);
-  $: stats = getStats(context.todos);
-  $: allCompleted = stats.total > 0 && stats.completed === stats.total;
-
-  // Event handlers
-  function handleAddTodo() {
-    if (newTodoText.trim()) {
-      dispatch([AddTodo.create({ text: newTodoText })], 'Add Todo');
-      newTodoText = '';
-    }
-  }
-
-  function handleToggle(id: string) {
-    dispatch([ToggleTodo.create({ id })], 'Toggle Todo');
-  }
-
-  function handleRemove(id: string) {
-    dispatch([RemoveTodo.create({ id })], 'Remove Todo');
-  }
-
-  function handleFilterChange(filter: 'all' | 'active' | 'completed') {
-    dispatch([SetFilter.create({ filter })], 'Change Filter');
-  }
-
-  function handleCompleteAll() {
-    dispatch([CompleteAll.create({})], 'Complete All');
-  }
-
-  function handleClearCompleted() {
-    if (stats.completed > 0) {
-      dispatch([ClearCompleted.create({})], 'Clear Completed');
-    }
-  }
-
-  // Keyboard shortcuts
-  function handleKeydown(event: KeyboardEvent) {
-    if (event.ctrlKey || event.metaKey) {
-      if (event.key === 'z' && canUndo) {
-        event.preventDefault();
-        undo();
-      } else if (event.key === 'y' && canRedo) {
-        event.preventDefault();
-        redo();
-      } else if (event.key === 'd') {
-        event.preventDefault();
-        showDebugger = !showDebugger;
-      }
-    }
-  }
-</script>
-
-<svelte:window onkeydown={handleKeydown} />
-
-<div class="todo-app">
-  <!-- Header -->
-  <header class="header">
-    <h1>Praxis Todos</h1>
-    <div class="history-controls">
-      <button onclick={undo} disabled={!canUndo} title="Undo (Ctrl+Z)">
-        ⟲ Undo
-      </button>
-      <span class="history-info">
-        {historyIndex + 1} / {snapshots.length}
-      </span>
-      <button onclick={redo} disabled={!canRedo} title="Redo (Ctrl+Y)">
-        ⟳ Redo
-      </button>
-      <button 
-        onclick={() => showDebugger = !showDebugger}
-        class:active={showDebugger}
-        title="Toggle Debugger (Ctrl+D)"
-      >
-        🐛 Debug
-      </button>
-    </div>
-  </header>
-
-  <!-- Main Content -->
-  <main class="main">
-    <!-- Input -->
-    <div class="input-section">
-      <input
-        type="text"
-        bind:value={newTodoText}
-        onkeypress={(e) => e.key === 'Enter' && handleAddTodo()}
-        placeholder="What needs to be done?"
-        class="new-todo"
-      />
-      <button onclick={handleAddTodo} class="add-btn">
-        Add
-      </button>
-    </div>
-
-    {#if stats.total > 0}
-      <!-- Filters -->
-      <div class="filters">
-        <button
-          class:active={context.filter === 'all'}
-          onclick={() => handleFilterChange('all')}
-        >
-          All ({stats.total})
-        </button>
-        <button
-          class:active={context.filter === 'active'}
-          onclick={() => handleFilterChange('active')}
-        >
-          Active ({stats.active})
-        </button>
-        <button
-          class:active={context.filter === 'completed'}
-          onclick={() => handleFilterChange('completed')}
-        >
-          Completed ({stats.completed})
-        </button>
-      </div>
-
-      <!-- Todo List -->
-      <ul class="todo-list">
-        {#each filteredTodos as todo (todo.id)}
-          <li class="todo-item" class:completed={todo.completed}>
-            <input
-              type="checkbox"
-              checked={todo.completed}
-              onchange={() => handleToggle(todo.id)}
-            />
-            <span class="todo-text">{todo.text}</span>
-            <button onclick={() => handleRemove(todo.id)} class="remove-btn">
-              ✕
-            </button>
-          </li>
-        {/each}
-      </ul>
-
-      <!-- Footer -->
-      <footer class="footer">
-        <span class="stats">
-          {stats.active} {stats.active === 1 ? 'item' : 'items'} left
-        </span>
-        
-        <div class="actions">
-          <button onclick={handleCompleteAll} disabled={allCompleted}>
-            Complete All
-          </button>
-          <button onclick={handleClearCompleted} disabled={stats.completed === 0}>
-            Clear Completed
-          </button>
-        </div>
-      </footer>
-    {:else}
-      <div class="empty-state">
-        <p>No todos yet. Add one above!</p>
-      </div>
-    {/if}
-  </main>
-
-  <!-- Time-Travel Debugger -->
-  {#if showDebugger}
-    <aside class="debugger">
-      <h2>Time-Travel Debugger</h2>
-      
-      <div class="timeline">
-        {#each snapshots as snapshot, index}
-          <button
-            class="snapshot"
-            class:active={index === historyIndex}
-            onclick={() => goToSnapshot(index)}
-            title={`Snapshot ${index + 1}`}
-          >
-            <div class="snapshot-time">
-              {new Date(snapshot.timestamp).toLocaleTimeString()}
-            </div>
-            <div class="snapshot-events">
-              {snapshot.events.length} events
-            </div>
-          </button>
-        {/each}
-      </div>
-
-      <div class="state-viewer">
-        <h3>Current State</h3>
-        <pre>{JSON.stringify(context, null, 2)}</pre>
-      </div>
-    </aside>
-  {/if}
-</div>
-
-<style>
-  .todo-app {
-    max-width: 800px;
-    margin: 0 auto;
-    padding: 2rem;
-    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif;
-  }
-
-  .header {
-    display: flex;
-    justify-content: space-between;
-    align-items: center;
-    margin-bottom: 2rem;
-    padding-bottom: 1rem;
-    border-bottom: 2px solid #e0e0e0;
-  }
-
-  .header h1 {
-    margin: 0;
-    font-size: 2rem;
-    color: #333;
-  }
-
-  .history-controls {
-    display: flex;
-    gap: 0.5rem;
-    align-items: center;
-  }
-
-  .history-controls button {
-    padding: 0.5rem 1rem;
-    border: 1px solid #ddd;
-    background: white;
-    border-radius: 4px;
-    cursor: pointer;
-    font-size: 0.9rem;
-  }
-
-  .history-controls button:hover:not(:disabled) {
-    background: #f5f5f5;
-  }
-
-  .history-controls button:disabled {
-    opacity: 0.5;
-    cursor: not-allowed;
-  }
-
-  .history-controls button.active {
-    background: #e3f2fd;
-    border-color: #2196f3;
-  }
-
-  .history-info {
-    padding: 0 0.5rem;
-    color: #666;
-    font-size: 0.9rem;
-  }
-
-  .input-section {
-    display: flex;
-    gap: 0.5rem;
-    margin-bottom: 1rem;
-  }
-
-  .new-todo {
-    flex: 1;
-    padding: 0.75rem;
-    border: 2px solid #ddd;
-    border-radius: 4px;
-    font-size: 1rem;
-  }
-
-  .new-todo:focus {
-    outline: none;
-    border-color: #2196f3;
-  }
-
-  .add-btn {
-    padding: 0.75rem 1.5rem;
-    background: #2196f3;
-    color: white;
-    border: none;
-    border-radius: 4px;
-    cursor: pointer;
-    font-size: 1rem;
-    font-weight: 500;
-  }
-
-  .add-btn:hover {
-    background: #1976d2;
-  }
-
-  .filters {
-    display: flex;
-    gap: 0.5rem;
-    margin-bottom: 1rem;
-  }
-
-  .filters button {
-    flex: 1;
-    padding: 0.5rem;
-    border: 1px solid #ddd;
-    background: white;
-    border-radius: 4px;
-    cursor: pointer;
-  }
-
-  .filters button.active {
-    background: #2196f3;
-    color: white;
-    border-color: #2196f3;
-  }
-
-  .todo-list {
-    list-style: none;
-    padding: 0;
-    margin: 0;
-  }
-
-  .todo-item {
-    display: flex;
-    align-items: center;
-    gap: 0.75rem;
-    padding: 1rem;
-    border: 1px solid #ddd;
-    border-radius: 4px;
-    margin-bottom: 0.5rem;
-    background: white;
-  }
-
-  .todo-item.completed {
-    background: #f5f5f5;
-  }
-
-  .todo-item.completed .todo-text {
-    text-decoration: line-through;
-    color: #999;
-  }
-
-  .todo-item input[type="checkbox"] {
-    width: 1.25rem;
-    height: 1.25rem;
-    cursor: pointer;
-  }
-
-  .todo-text {
-    flex: 1;
-    font-size: 1rem;
-  }
-
-  .remove-btn {
-    padding: 0.25rem 0.5rem;
-    background: transparent;
-    border: none;
-    color: #f44336;
-    cursor: pointer;
-    font-size: 1.25rem;
-  }
-
-  .remove-btn:hover {
-    color: #d32f2f;
-  }
-
-  .footer {
-    display: flex;
-    justify-content: space-between;
-    align-items: center;
-    margin-top: 1rem;
-    padding-top: 1rem;
-    border-top: 1px solid #e0e0e0;
-  }
-
-  .stats {
-    color: #666;
-    font-size: 0.9rem;
-  }
-
-  .actions {
-    display: flex;
-    gap: 0.5rem;
-  }
-
-  .actions button {
-    padding: 0.5rem 1rem;
-    border: 1px solid #ddd;
-    background: white;
-    border-radius: 4px;
-    cursor: pointer;
-    font-size: 0.9rem;
-  }
-
-  .actions button:hover:not(:disabled) {
-    background: #f5f5f5;
-  }
-
-  .actions button:disabled {
-    opacity: 0.5;
-    cursor: not-allowed;
-  }
-
-  .empty-state {
-    text-align: center;
-    padding: 3rem;
-    color: #999;
-  }
-
-  .debugger {
-    margin-top: 2rem;
-    padding: 1rem;
-    border: 2px solid #2196f3;
-    border-radius: 4px;
-    background: #f5f5f5;
-  }
-
-  .debugger h2 {
-    margin-top: 0;
-    color: #2196f3;
-  }
-
-  .timeline {
-    display: flex;
-    gap: 0.5rem;
-    overflow-x: auto;
-    padding: 1rem 0;
-    margin-bottom: 1rem;
-  }
-
-  .snapshot {
-    min-width: 100px;
-    padding: 0.5rem;
-    border: 2px solid #ddd;
-    background: white;
-    border-radius: 4px;
-    cursor: pointer;
-    text-align: center;
-  }
-
-  .snapshot.active {
-    border-color: #2196f3;
-    background: #e3f2fd;
-  }
-
-  .snapshot-time {
-    font-size: 0.8rem;
-    font-weight: 500;
-    margin-bottom: 0.25rem;
-  }
-
-  .snapshot-events {
-    font-size: 0.75rem;
-    color: #666;
-  }
-
-  .state-viewer {
-    background: white;
-    border: 1px solid #ddd;
-    border-radius: 4px;
-    padding: 1rem;
-  }
-
-  .state-viewer h3 {
-    margin-top: 0;
-    margin-bottom: 0.5rem;
-    font-size: 1rem;
-  }
-
-  .state-viewer pre {
-    margin: 0;
-    overflow-x: auto;
-    font-size: 0.85rem;
-    line-height: 1.5;
-  }
-</style>
+<!-- 
+  Advanced Todo App - Svelte 5 Component
+  
+  This component demonstrates:
+  - Svelte 5 runes integration with Praxis
+  - History state pattern with undo/redo
+  - Time-travel debugging
+  - Reactive derived values
+-->
+
+<script lang="ts">
+  import { usePraxisEngine } from '@plures/praxis/svelte';
+  import {
+    createTodoEngine,
+    getFilteredTodos,
+    getStats,
+    AddTodo,
+    ToggleTodo,
+    RemoveTodo,
+    SetFilter,
+    CompleteAll,
+    ClearCompleted,
+    type TodoItem,
+  } from './index';
+
+  // Create engine with history enabled
+  const engine = createTodoEngine();
+  const {
+    context,
+    dispatch,
+    undo,
+    redo,
+    canUndo,
+    canRedo,
+    snapshots,
+    historyIndex,
+    goToSnapshot,
+  } = usePraxisEngine(engine, {
+    enableHistory: true,
+    maxHistorySize: 50,
+  });
+
+  // Local UI state
+  let newTodoText = $state('');
+  let showDebugger = $state(false);
+
+  // Derived reactive values
+  $: filteredTodos = getFilteredTodos(context.todos, context.filter);
+  $: stats = getStats(context.todos);
+  $: allCompleted = stats.total > 0 && stats.completed === stats.total;
+
+  // Event handlers
+  function handleAddTodo() {
+    if (newTodoText.trim()) {
+      dispatch([AddTodo.create({ text: newTodoText })], 'Add Todo');
+      newTodoText = '';
+    }
+  }
+
+  function handleToggle(id: string) {
+    dispatch([ToggleTodo.create({ id })], 'Toggle Todo');
+  }
+
+  function handleRemove(id: string) {
+    dispatch([RemoveTodo.create({ id })], 'Remove Todo');
+  }
+
+  function handleFilterChange(filter: 'all' | 'active' | 'completed') {
+    dispatch([SetFilter.create({ filter })], 'Change Filter');
+  }
+
+  function handleCompleteAll() {
+    dispatch([CompleteAll.create({})], 'Complete All');
+  }
+
+  function handleClearCompleted() {
+    if (stats.completed > 0) {
+      dispatch([ClearCompleted.create({})], 'Clear Completed');
+    }
+  }
+
+  // Keyboard shortcuts
+  function handleKeydown(event: KeyboardEvent) {
+    if (event.ctrlKey || event.metaKey) {
+      if (event.key === 'z' && canUndo) {
+        event.preventDefault();
+        undo();
+      } else if (event.key === 'y' && canRedo) {
+        event.preventDefault();
+        redo();
+      } else if (event.key === 'd') {
+        event.preventDefault();
+        showDebugger = !showDebugger;
+      }
+    }
+  }
+</script>
+
+<svelte:window onkeydown={handleKeydown} />
+
+<div class="todo-app">
+  <!-- Header -->
+  <header class="header">
+    <h1>Praxis Todos</h1>
+    <div class="history-controls">
+      <button onclick={undo} disabled={!canUndo} title="Undo (Ctrl+Z)">
+        ⟲ Undo
+      </button>
+      <span class="history-info">
+        {historyIndex + 1} / {snapshots.length}
+      </span>
+      <button onclick={redo} disabled={!canRedo} title="Redo (Ctrl+Y)">
+        ⟳ Redo
+      </button>
+      <button 
+        onclick={() => showDebugger = !showDebugger}
+        class:active={showDebugger}
+        title="Toggle Debugger (Ctrl+D)"
+      >
+        🐛 Debug
+      </button>
+    </div>
+  </header>
+
+  <!-- Main Content -->
+  <main class="main">
+    <!-- Input -->
+    <div class="input-section">
+      <input
+        type="text"
+        bind:value={newTodoText}
+        onkeypress={(e) => e.key === 'Enter' && handleAddTodo()}
+        placeholder="What needs to be done?"
+        class="new-todo"
+      />
+      <button onclick={handleAddTodo} class="add-btn">
+        Add
+      </button>
+    </div>
+
+    {#if stats.total > 0}
+      <!-- Filters -->
+      <div class="filters">
+        <button
+          class:active={context.filter === 'all'}
+          onclick={() => handleFilterChange('all')}
+        >
+          All ({stats.total})
+        </button>
+        <button
+          class:active={context.filter === 'active'}
+          onclick={() => handleFilterChange('active')}
+        >
+          Active ({stats.active})
+        </button>
+        <button
+          class:active={context.filter === 'completed'}
+          onclick={() => handleFilterChange('completed')}
+        >
+          Completed ({stats.completed})
+        </button>
+      </div>
+
+      <!-- Todo List -->
+      <ul class="todo-list">
+        {#each filteredTodos as todo (todo.id)}
+          <li class="todo-item" class:completed={todo.completed}>
+            <input
+              type="checkbox"
+              checked={todo.completed}
+              onchange={() => handleToggle(todo.id)}
+            />
+            <span class="todo-text">{todo.text}</span>
+            <button onclick={() => handleRemove(todo.id)} class="remove-btn">
+              ✕
+            </button>
+          </li>
+        {/each}
+      </ul>
+
+      <!-- Footer -->
+      <footer class="footer">
+        <span class="stats">
+          {stats.active} {stats.active === 1 ? 'item' : 'items'} left
+        </span>
+        
+        <div class="actions">
+          <button onclick={handleCompleteAll} disabled={allCompleted}>
+            Complete All
+          </button>
+          <button onclick={handleClearCompleted} disabled={stats.completed === 0}>
+            Clear Completed
+          </button>
+        </div>
+      </footer>
+    {:else}
+      <div class="empty-state">
+        <p>No todos yet. Add one above!</p>
+      </div>
+    {/if}
+  </main>
+
+  <!-- Time-Travel Debugger -->
+  {#if showDebugger}
+    <aside class="debugger">
+      <h2>Time-Travel Debugger</h2>
+      
+      <div class="timeline">
+        {#each snapshots as snapshot, index}
+          <button
+            class="snapshot"
+            class:active={index === historyIndex}
+            onclick={() => goToSnapshot(index)}
+            title={`Snapshot ${index + 1}`}
+          >
+            <div class="snapshot-time">
+              {new Date(snapshot.timestamp).toLocaleTimeString()}
+            </div>
+            <div class="snapshot-events">
+              {snapshot.events.length} events
+            </div>
+          </button>
+        {/each}
+      </div>
+
+      <div class="state-viewer">
+        <h3>Current State</h3>
+        <pre>{JSON.stringify(context, null, 2)}</pre>
+      </div>
+    </aside>
+  {/if}
+</div>
+
+<style>
+  .todo-app {
+    max-width: 800px;
+    margin: 0 auto;
+    padding: 2rem;
+    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif;
+  }
+
+  .header {
+    display: flex;
+    justify-content: space-between;
+    align-items: center;
+    margin-bottom: 2rem;
+    padding-bottom: 1rem;
+    border-bottom: 2px solid #e0e0e0;
+  }
+
+  .header h1 {
+    margin: 0;
+    font-size: 2rem;
+    color: #333;
+  }
+
+  .history-controls {
+    display: flex;
+    gap: 0.5rem;
+    align-items: center;
+  }
+
+  .history-controls button {
+    padding: 0.5rem 1rem;
+    border: 1px solid #ddd;
+    background: white;
+    border-radius: 4px;
+    cursor: pointer;
+    font-size: 0.9rem;
+  }
+
+  .history-controls button:hover:not(:disabled) {
+    background: #f5f5f5;
+  }
+
+  .history-controls button:disabled {
+    opacity: 0.5;
+    cursor: not-allowed;
+  }
+
+  .history-controls button.active {
+    background: #e3f2fd;
+    border-color: #2196f3;
+  }
+
+  .history-info {
+    padding: 0 0.5rem;
+    color: #666;
+    font-size: 0.9rem;
+  }
+
+  .input-section {
+    display: flex;
+    gap: 0.5rem;
+    margin-bottom: 1rem;
+  }
+
+  .new-todo {
+    flex: 1;
+    padding: 0.75rem;
+    border: 2px solid #ddd;
+    border-radius: 4px;
+    font-size: 1rem;
+  }
+
+  .new-todo:focus {
+    outline: none;
+    border-color: #2196f3;
+  }
+
+  .add-btn {
+    padding: 0.75rem 1.5rem;
+    background: #2196f3;
+    color: white;
+    border: none;
+    border-radius: 4px;
+    cursor: pointer;
+    font-size: 1rem;
+    font-weight: 500;
+  }
+
+  .add-btn:hover {
+    background: #1976d2;
+  }
+
+  .filters {
+    display: flex;
+    gap: 0.5rem;
+    margin-bottom: 1rem;
+  }
+
+  .filters button {
+    flex: 1;
+    padding: 0.5rem;
+    border: 1px solid #ddd;
+    background: white;
+    border-radius: 4px;
+    cursor: pointer;
+  }
+
+  .filters button.active {
+    background: #2196f3;
+    color: white;
+    border-color: #2196f3;
+  }
+
+  .todo-list {
+    list-style: none;
+    padding: 0;
+    margin: 0;
+  }
+
+  .todo-item {
+    display: flex;
+    align-items: center;
+    gap: 0.75rem;
+    padding: 1rem;
+    border: 1px solid #ddd;
+    border-radius: 4px;
+    margin-bottom: 0.5rem;
+    background: white;
+  }
+
+  .todo-item.completed {
+    background: #f5f5f5;
+  }
+
+  .todo-item.completed .todo-text {
+    text-decoration: line-through;
+    color: #999;
+  }
+
+  .todo-item input[type="checkbox"] {
+    width: 1.25rem;
+    height: 1.25rem;
+    cursor: pointer;
+  }
+
+  .todo-text {
+    flex: 1;
+    font-size: 1rem;
+  }
+
+  .remove-btn {
+    padding: 0.25rem 0.5rem;
+    background: transparent;
+    border: none;
+    color: #f44336;
+    cursor: pointer;
+    font-size: 1.25rem;
+  }
+
+  .remove-btn:hover {
+    color: #d32f2f;
+  }
+
+  .footer {
+    display: flex;
+    justify-content: space-between;
+    align-items: center;
+    margin-top: 1rem;
+    padding-top: 1rem;
+    border-top: 1px solid #e0e0e0;
+  }
+
+  .stats {
+    color: #666;
+    font-size: 0.9rem;
+  }
+
+  .actions {
+    display: flex;
+    gap: 0.5rem;
+  }
+
+  .actions button {
+    padding: 0.5rem 1rem;
+    border: 1px solid #ddd;
+    background: white;
+    border-radius: 4px;
+    cursor: pointer;
+    font-size: 0.9rem;
+  }
+
+  .actions button:hover:not(:disabled) {
+    background: #f5f5f5;
+  }
+
+  .actions button:disabled {
+    opacity: 0.5;
+    cursor: not-allowed;
+  }
+
+  .empty-state {
+    text-align: center;
+    padding: 3rem;
+    color: #999;
+  }
+
+  .debugger {
+    margin-top: 2rem;
+    padding: 1rem;
+    border: 2px solid #2196f3;
+    border-radius: 4px;
+    background: #f5f5f5;
+  }
+
+  .debugger h2 {
+    margin-top: 0;
+    color: #2196f3;
+  }
+
+  .timeline {
+    display: flex;
+    gap: 0.5rem;
+    overflow-x: auto;
+    padding: 1rem 0;
+    margin-bottom: 1rem;
+  }
+
+  .snapshot {
+    min-width: 100px;
+    padding: 0.5rem;
+    border: 2px solid #ddd;
+    background: white;
+    border-radius: 4px;
+    cursor: pointer;
+    text-align: center;
+  }
+
+  .snapshot.active {
+    border-color: #2196f3;
+    background: #e3f2fd;
+  }
+
+  .snapshot-time {
+    font-size: 0.8rem;
+    font-weight: 500;
+    margin-bottom: 0.25rem;
+  }
+
+  .snapshot-events {
+    font-size: 0.75rem;
+    color: #666;
+  }
+
+  .state-viewer {
+    background: white;
+    border: 1px solid #ddd;
+    border-radius: 4px;
+    padding: 1rem;
+  }
+
+  .state-viewer h3 {
+    margin-top: 0;
+    margin-bottom: 0.5rem;
+    font-size: 1rem;
+  }
+
+  .state-viewer pre {
+    margin: 0;
+    overflow-x: auto;
+    font-size: 0.85rem;
+    line-height: 1.5;
+  }
+</style>