svg.railroad-diagram {
    #    background-color: hsl(30,20%,95%);
    	width: 80%;  /* Scale to the width of the parent */
	height: 100%;  /* Preserve the ratio. Could be related to https://bugs.webkit.org/show_bug.cgi?id=82489 */
}
svg.railroad-diagram path {
    stroke-width: 1;
    stroke: black;
    fill: rgba(0,0,0,0);
}
svg.railroad-diagram text {
    font: 11px monospace;
    text-anchor: middle;
}
svg.railroad-diagram text.diagram-text {
    font-size: 11px;
}
svg.railroad-diagram text.diagram-arrow {
    font-size: 16px;
}
svg.railroad-diagram text.label {
    text-anchor: start;
}
svg.railroad-diagram text.comment {
    font: italic 11px monospace;
}
svg.railroad-diagram g.non-terminal text {
    /*font-style: italic;*/
}
svg.railroad-diagram rect {
    stroke-width: 1;
    stroke: black;
    fill: hsl(120,100%,90%);
}

svg.railroad-diagram g.terminal rect {
    stroke-width: 1;
    stroke: black;
    fill: hsl(205, 100%, 90%); # hsl(120,100%,90%);
}

svg.railroad-diagram path.diagram-text {
    stroke-width: 1;
    stroke: black;
    fill: white;
    cursor: help;
}
svg.railroad-diagram g.diagram-text:hover path.diagram-text {
    fill: #eee;
}
