diff --git a/spec/asserted-triple-term.svg b/spec/asserted-triple-term.svg index 4bcb6c9f..53b679a8 100644 --- a/spec/asserted-triple-term.svg +++ b/spec/asserted-triple-term.svg @@ -1,47 +1,21 @@ - diff --git a/spec/figure.css b/spec/figure.css new file mode 100644 index 00000000..16a73073 --- /dev/null +++ b/spec/figure.css @@ -0,0 +1,16 @@ +:root { --bg: #fff; --solid: #eee; --abstract: #aaa; --fg: #000 } +@media (prefers-color-scheme: dark) { + :root { --bg: #000; --solid: #333; --abstract: #777; --fg: #eee } +} +svg { background-color: var(--bg); stroke: none } +ellipse { stroke: var(--fg); fill: var(--solid) } +path.arrow { stroke: var(--fg); marker-end: url(#arrowhead) } +#arrowhead { fill: var(--fg) } +text { fill: var(--fg); font-family: Helvetica, sans-serif } +text.middle { text-anchor: middle } +text.italic { font-style: italic } +path.reifies { stroke: var(--fg); stroke-width: 1; marker-start: url(#arrowhead); fill: none } +.abstract > path.arrow { stroke: var(--abstract); stroke-dasharray: 8; marker-end: url(#arrowhead-abstract) } +#arrowhead-abstract { fill: var(--abstract) } +.abstract > text { fill: var(--abstract) } +.unlinked > ellipse { stroke: var(--abstract) } diff --git a/spec/index.html b/spec/index.html index ef7ecbc2..b567fc5a 100644 --- a/spec/index.html +++ b/spec/index.html @@ -2,6 +2,7 @@
+