Electric tutorial page layout matches existing deployed version

src/electric_tutorial/demo_chat.md

@@ -1,4 +1,4 @@
-# Chat — Electric tutorial
+# Chat
 
 A multiplayer chat app in 30 LOC, all one file. Try two tabs.
 

src/electric_tutorial/demo_chat_extended.md

@@ -1,4 +1,4 @@
-# Chat Extended — Electric tutorial
+# Chat Extended
 
 Extended chat demo with auth and presence. When multiple sessions are connected, you can see who else is present.
 

src/electric_tutorial/demo_reagent_interop.md

@@ -1,4 +1,4 @@
-# Reagent Interop — Electric tutorial
+# Reagent Interop
 
 Reagent (React.js) embedded inside Electric. The reactive mouse coordinates cross from Electric to Reagent via props.
 

src/electric_tutorial/demo_svg.md

@@ -1,4 +1,4 @@
-# Reagent Interop — Electric tutorial
+# Reagent Interop
 
 SVG support. Note the animation is reactive and driven by javascript cosine.
 

src/electric_tutorial/demo_system_properties.md

@@ -1,4 +1,4 @@
-# System Properties — Electric tutorial
+# System Properties
 
 A larger example of a HTML table backed by a server-side query. Type into the input and see the query update live.
 

src/electric_tutorial/demo_todos_simple.md

@@ -1,4 +1,4 @@
-# Todos Simple — Electric tutorial
+# Todos Simple
 
 minimal todo list. it's multiplayer, try two tabs
 

src/electric_tutorial/demo_toggle.md

@@ -1,4 +1,4 @@
-# Toggle — Electric tutorial
+# Toggle
 
 This demo toggles between client and server with a button.
 

src/electric_tutorial/demo_two_clocks.md

@@ -1,4 +1,4 @@
-# Two Clocks — Electric tutorial
+# Two Clocks
 
 Streaming lexical scope. The server clock is streamed to the client.
 
@@ -62,4 +62,4 @@ Network is reactive at the granularity of individual scope values
 * when server clock `s` updates, the new value is streamed over network, bound to `s` on the client, ...
 * Everything is already async, so adding a 10ms websocket delay does not add impedance, complexity or code weight!
 
-For a 10min video explainer, see [UIs are streaming DAGs](https://hyperfiddle.notion.site/UIs-are-streaming-DAGs-e181461681a8452bb9c7a9f10f507991).
+For a 10min video explainer, see [UIs are streaming DAGs](https://hyperfiddle.notion.site/UIs-are-streaming-DAGs-e181461681a8452bb9c7a9f10f507991).

src/electric_tutorial/demo_webview.md

@@ -1,4 +1,4 @@
-# Webview — Electric tutorial
+# Webview
 
 A database backed webview with reactive updates.
 

src/electric_tutorial/tutorial.cljc

@@ -143,6 +143,7 @@
   (e/client
     (let [[?tutorial] (ffirst r/route)
           ?tutorial   (or ?tutorial `TwoClocks)]
+      (dom/h1 (dom/text "Electric Tutorial"))
       (binding [hf/pages fiddles]
         (Nav. ?tutorial false)
         (if-some [essay-filename (get tutorials2 ?tutorial)]

src/electric_tutorial/tutorial_7guis_1_counter.md

@@ -1,4 +1,4 @@
-# 7 GUIs 1: Counter — Electric tutorial
+# 7 GUIs 1: Counter
 
 See <https://eugenkiss.github.io/7guis/tasks#counter>
 

src/electric_tutorial/tutorial_7guis_2_temperature.md

@@ -1,4 +1,4 @@
-# 7 GUIs 2: Temperature Converter — Electric tutorial
+# 7 GUIs 2: Temperature Converter
 
 See <https://eugenkiss.github.io/7guis/tasks#temp>
 

src/electric_tutorial/tutorial_7guis_4_timer.md

@@ -1,4 +1,4 @@
-# 7 GUIs 4: Timer — Electric tutorial
+# 7 GUIs 4: Timer
 
 See <https://eugenkiss.github.io/7guis/tasks#timer>
 

src/electric_tutorial/tutorial_7guis_5_crud.md

@@ -1,4 +1,4 @@
-# 7 GUIs 5: CRUD — Electric tutorial
+# 7 GUIs 5: CRUD
 
 See <https://eugenkiss.github.io/7guis/tasks#crud>
 

src/electric_tutorial/tutorial_backpressure.md

@@ -1,4 +1,4 @@
-# Backpressure — Electric tutorial
+# Backpressure
 
 This is just the Two Clocks demo with slight modifications, there is more to learn here.
 

src/electric_tutorial/tutorial_lifecycle.md

@@ -1,4 +1,4 @@
-# Component Lifecycle — Electric tutorial
+# Component Lifecycle
 
 mount/unmount component lifecycle