Emit css even not in embed mode, and update README images.

thisismiller · thisismiller · commit fecd572b87ab · 2023-04-25T14:30:59.000-07:00
diff --git a/examples/linearizability_1.2.a.svg b/examples/linearizability_1.2.a.svg
@@ -1,4 +1,16 @@
 <svg version="1.1" width="59ch" height="105px" xmlns="http://www.w3.org/2000/svg">
+<defs>
+    <style type="text/css">
+        @media (prefers-color-scheme: dark) {
+            text {
+                fill: #eceff4;
+            }
+            line {
+                stroke: #eceff4;
+            }
+        }
+    </style>
+</defs>
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="26.0px">A</text>
 <line x1="8.0ch" y1="15px" x2="8.0ch" y2="37px" stroke="black" />
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="56.0px">B</text>
diff --git a/examples/linearizability_1.2.b.svg b/examples/linearizability_1.2.b.svg
@@ -1,4 +1,16 @@
 <svg version="1.1" width="35ch" height="105px" xmlns="http://www.w3.org/2000/svg">
+<defs>
+    <style type="text/css">
+        @media (prefers-color-scheme: dark) {
+            text {
+                fill: #eceff4;
+            }
+            line {
+                stroke: #eceff4;
+            }
+        }
+    </style>
+</defs>
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="26.0px">A</text>
 <line x1="8.0ch" y1="15px" x2="8.0ch" y2="37px" stroke="black" />
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="56.0px">B</text>
diff --git a/examples/linearizability_1.2.c.svg b/examples/linearizability_1.2.c.svg
@@ -1,4 +1,16 @@
 <svg version="1.1" width="29ch" height="105px" xmlns="http://www.w3.org/2000/svg">
+<defs>
+    <style type="text/css">
+        @media (prefers-color-scheme: dark) {
+            text {
+                fill: #eceff4;
+            }
+            line {
+                stroke: #eceff4;
+            }
+        }
+    </style>
+</defs>
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="26.0px">A</text>
 <line x1="8.0ch" y1="15px" x2="8.0ch" y2="37px" stroke="black" />
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="56.0px">B</text>
diff --git a/examples/linearizability_1.2.d.svg b/examples/linearizability_1.2.d.svg
@@ -1,4 +1,16 @@
 <svg version="1.1" width="41ch" height="135px" xmlns="http://www.w3.org/2000/svg">
+<defs>
+    <style type="text/css">
+        @media (prefers-color-scheme: dark) {
+            text {
+                fill: #eceff4;
+            }
+            line {
+                stroke: #eceff4;
+            }
+        }
+    </style>
+</defs>
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="26.0px">A</text>
 <line x1="8.0ch" y1="15px" x2="8.0ch" y2="37px" stroke="black" />
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="56.0px">B</text>
diff --git a/examples/ophistory_all.svg b/examples/ophistory_all.svg
@@ -1,4 +1,16 @@
 <svg version="1.1" width="79ch" height="135px" xmlns="http://www.w3.org/2000/svg">
+<defs>
+    <style type="text/css">
+        @media (prefers-color-scheme: dark) {
+            text {
+                fill: #eceff4;
+            }
+            line {
+                stroke: #eceff4;
+            }
+        }
+    </style>
+</defs>
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="41.0px">A</text>
 <line x1="8.0ch" y1="15px" x2="8.0ch" y2="67px" stroke="black" />
 <text text-anchor="middle" alignment-baseline="middle" font-family="monospace" x="4ch" y="86.0px">B</text>
@@ -30,4 +42,4 @@
 <circle cx="51.0ch" cy="90" r="3" />
 <text text-anchor="start" alignment-baseline="baseline" x="29ch" y="86px">Pop()</text>
 <text text-anchor="end" alignment-baseline="baseline" x="74ch" y="86px">Ok(b)</text>
-</svg>
+</svg>
diff --git a/ophistory.py b/ophistory.py
@@ -274,22 +274,24 @@ def spans_to_chart(spaninfo : SpanInfo) -> Chart:
 
 def svg_header(width : Dimension, height : Dimension) -> str:
     header = f'''<svg version="1.1" width="{width}" height="{height}" xmlns="http://www.w3.org/2000/svg">'''
-    if EMBED:
-        header += textwrap.dedent("""
-        <defs>
-            <style type="text/css">
-            text {
-                font-size: 12px;
-                font-family: monospace;
-            }
+    header += textwrap.dedent("""
+    <defs>
+        <style type="text/css">
             @media (prefers-color-scheme: dark) {
                 text {
                     fill: #eceff4;
                 }
                 line {
                     stroke: #eceff4;
                 }
-            }
+            }""")
+    if EMBED:
+        header += textwrap.dedent("""
+            text {
+                font-size: 12px;
+                font-family: monospace;
+            }""")
+    header += textwrap.dedent("""
             </style>
         </defs>""")
     return header
