/* railroad-style.css — the palette spliced into each diagram by render.py
* when it writes the .svg / .png diagrams.
*
* Both the committed .svg files and the web .png files carry it: a neutral
* blue-grey on white that matches the railroad diagrams on cparse.fedem.eu
* and fson.fedem.eu. "DejaVu Sans Mono" comes first because librsvg / cairo
* do not resolve the generic `monospace` to a fixed-width face everywhere,
* and railroad-diagrams sizes the boxes for a fixed-width font. Selectors follow what
* railroad.js emits (bare `svg` / `path` / `rect` / `text`, no wrapper class).
*/
svg {
background: #ffffff;
}
path {
stroke-width: 2;
stroke: #333333;
fill: none;
}
text {
font: bold 14px "DejaVu Sans Mono", "Liberation Mono", "Nimbus Mono PS", "SFMono-Regular", Consolas, Menlo, monospace;
text-anchor: middle;
white-space: pre;
fill: #1a1a1a;
}
text.diagram-text {
font-size: 12px;
}
text.diagram-arrow {
font-size: 16px;
}
text.label {
text-anchor: start;
}
text.comment {
font: italic 12px "DejaVu Sans Mono", "Nimbus Mono PS", monospace;
fill: #666666;
}
rect {
stroke-width: 2;
stroke: #333333;
fill: #eef2f8;
}
rect.group-box {
stroke: #9aa7b8;
stroke-dasharray: 10 5;
fill: none;
}
path.diagram-text {
stroke-width: 2;
stroke: #333333;
fill: #ffffff;
cursor: help;
}
g.diagram-text:hover path.diagram-text {
fill: #eeeeee;
}