Merge pull request #662 from wader/ansisvg-regenerate

doc: Hopefully fix svg fixed font issue
2024-12-25 14:23:18 +03:00 · 2023-05-09 16:23:36 +02:00 · 2023-05-09 16:23:36 +02:00 · 37708583fd
commit 37708583fd
parent be0bbfbc37 88be3a7f9f
5 changed files with 5 additions and 5 deletions
--- a/doc/demo.svg
+++ b/doc/demo.svg
@ -4,7 +4,7 @@
        text {
            dominant-baseline: text-before-edge;
            white-space: pre;
-            font: 14px monospace;
+            font: 14px Courier, monospace;
            fill: #bbbbbb;
        }
        .u { text-decoration: underline; }
--- a/doc/display_decode_value.svg
+++ b/doc/display_decode_value.svg
@ -4,7 +4,7 @@
        text {
            dominant-baseline: text-before-edge;
            white-space: pre;
-            font: 14px monospace;
+            font: 14px Courier, monospace;
            fill: #bbbbbb;
        }
        .u { text-decoration: underline; }
--- a/doc/display_decode_value_d.svg
+++ b/doc/display_decode_value_d.svg
@ -4,7 +4,7 @@
        text {
            dominant-baseline: text-before-edge;
            white-space: pre;
-            font: 14px monospace;
+            font: 14px Courier, monospace;
            fill: #bbbbbb;
        }
        .u { text-decoration: underline; }
--- a/doc/display_decode_value_dv.svg
+++ b/doc/display_decode_value_dv.svg
@ -4,7 +4,7 @@
        text {
            dominant-baseline: text-before-edge;
            white-space: pre;
-            font: 14px monospace;
+            font: 14px Courier, monospace;
            fill: #bbbbbb;
        }
        .u { text-decoration: underline; }
--- a/doc/display_json.svg
+++ b/doc/display_json.svg
@ -4,7 +4,7 @@
        text {
            dominant-baseline: text-before-edge;
            white-space: pre;
-            font: 14px monospace;
+            font: 14px Courier, monospace;
            fill: #bbbbbb;
        }
        .u { text-decoration: underline; }