Tweak the railroad js and CSS files
This commit is contained in:
parent
8478b049f0
commit
2c919735c3
2 changed files with 12 additions and 2 deletions
|
@ -11,45 +11,55 @@
|
|||
svg.railroad-diagram path {
|
||||
stroke-width: 2;
|
||||
stroke: var(--body-foreground-color);
|
||||
fill: var(--body-foreground-color);
|
||||
fill: none;
|
||||
}
|
||||
|
||||
svg.railroad-diagram text {
|
||||
font-family: var(--monospace-font-family);
|
||||
text-anchor: middle;
|
||||
white-space: pre;
|
||||
color: var(--body-foreground-color);
|
||||
}
|
||||
|
||||
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: var(--body-foreground-color);
|
||||
fill: var(--rect-fill);
|
||||
}
|
||||
|
||||
svg.railroad-diagram rect.group-box {
|
||||
stroke: gray;
|
||||
stroke-dasharray: 10 5;
|
||||
fill: none;
|
||||
}
|
||||
|
||||
svg.railroad-diagram path.diagram-text {
|
||||
stroke-width: 3;
|
||||
stroke: var(--body-foreground-color);
|
||||
fill: var(--body-background-color);
|
||||
cursor: help;
|
||||
}
|
||||
|
||||
svg.railroad-diagram g.diagram-text:hover path.diagram-text {
|
||||
fill: #eee;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue