Create a monospace font family stack
This commit is contained in:
parent
d862251a8f
commit
d0f1100682
3 changed files with 7 additions and 6 deletions
|
@ -14,14 +14,14 @@ svg.railroad-diagram path {
|
|||
}
|
||||
|
||||
svg.railroad-diagram text {
|
||||
font-family: var(--monospace-font-family);
|
||||
font-family: var(--font-family-monospace);
|
||||
text-anchor: middle;
|
||||
white-space: pre;
|
||||
fill: var(--foreground-body-color);
|
||||
}
|
||||
|
||||
svg.railroad-diagram text.diagram-text {
|
||||
font-size: 12px;
|
||||
font-size: 11px;
|
||||
}
|
||||
|
||||
svg.railroad-diagram text.diagram-arrow {
|
||||
|
@ -33,7 +33,7 @@ svg.railroad-diagram text.label {
|
|||
}
|
||||
|
||||
svg.railroad-diagram text.comment {
|
||||
font: italic 12px monospace;
|
||||
font: italic 12px var(--font-family-monospace);
|
||||
}
|
||||
|
||||
svg.railroad-diagram g.non-terminal text {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue