svg.railroad-diagram path { stroke-width: 2; stroke: var(--body-foreground-color); fill: var(--body-foreground-color); } svg.railroad-diagram text { font-family: var(--monospace-font-family); text-anchor: middle; white-space: pre; } svg.railroad-diagram text.diagram-text { font-size: 12px; } svg.railroad-diagram text.diagram-arrow { font-size: 16px; } svg.railroad-diagram text.label { text-anchor: start; } svg.railroad-diagram text.comment { font: italic 12px monospace; } svg.railroad-diagram g.non-terminal text { /*font-style: italic;*/ } svg.railroad-diagram rect { stroke-width: 2; stroke: black; fill: hsl(120,100%,90%); } svg.railroad-diagram rect.group-box { stroke: gray; stroke-dasharray: 10 5; fill: none; } svg.railroad-diagram path.diagram-text { stroke-width: 3; stroke: black; fill: white; cursor: help; } svg.railroad-diagram g.diagram-text:hover path.diagram-text { fill: #eee; }