Use JS to show/hide railroad diagrams based on page width (thanks @hober!)

This commit is contained in:
Eryn Wells 2022-10-21 11:06:13 -07:00
parent 44f11c6792
commit 84c7c714ed
4 changed files with 77 additions and 19 deletions

View file

@ -9,7 +9,7 @@
svg.railroad-diagram path {
stroke-width: 2;
stroke: var(--foreground-body-color);
stroke: var(--html-color);
fill: none;
}
@ -17,7 +17,7 @@ svg.railroad-diagram text {
font-family: var(--font-family-monospace);
text-anchor: middle;
white-space: pre;
fill: var(--foreground-body-color);
fill: var(--html-color);
}
svg.railroad-diagram text.diagram-text {
@ -42,7 +42,7 @@ svg.railroad-diagram g.non-terminal text {
svg.railroad-diagram rect {
stroke-width: 2;
stroke: var(--foreground-body-color);
stroke: var(--html-color);
fill: var(--rect-fill);
}
@ -54,8 +54,8 @@ svg.railroad-diagram rect.group-box {
svg.railroad-diagram path.diagram-text {
stroke-width: 2;
stroke: var(--foreground-body-color);
fill: var(--background-body-color);
stroke: var(--html-color);
fill: var(--html-background-color);
cursor: help;
}