erynwells.me/assets/styles/railroad.css

65 lines
1.2 KiB
CSS
Raw Normal View History

2022-08-18 20:18:05 -07:00
:root {
--rect-fill: rgba(var(--mid-blue), 0.1);
2022-08-18 20:18:05 -07:00
}
@media (prefers-color-scheme: dark) {
:root {
--rect-fill: rgb(var(--mid-blue), 0.9);
2022-08-18 20:18:05 -07:00
}
}
svg.railroad-diagram path {
stroke-width: 2;
stroke: var(--color);
2022-08-20 17:30:00 -07:00
fill: none;
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram text {
2022-10-03 19:54:55 -07:00
font-family: var(--font-family-monospace);
text-anchor: middle;
white-space: pre;
fill: var(--color);
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram text.diagram-text {
2022-10-03 19:54:55 -07:00
font-size: 11px;
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram text.diagram-arrow {
font-size: 16px;
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram text.label {
text-anchor: start;
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram text.comment {
2022-10-03 19:54:55 -07:00
font: italic 12px var(--font-family-monospace);
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram g.non-terminal text {
/*font-style: italic;*/
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram rect {
stroke-width: 2;
stroke: var(--color);
2022-08-18 20:18:05 -07:00
fill: var(--rect-fill);
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram rect.group-box {
stroke: gray;
stroke-dasharray: 10 5;
fill: none;
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram path.diagram-text {
stroke-width: 2;
stroke: var(--color);
fill: var(--html-background-color);
cursor: help;
}
2022-08-20 17:30:00 -07:00
svg.railroad-diagram g.diagram-text:hover path.diagram-text {
fill: var(--rect-fill);
}