body { background: white; color: black; margin: 2em; }
A:link, A:visited { text-decoration: underline; color: blue;}
A:hover { background: #FF9; }
img { border: 0px; }
span.keyword {color: blue; }
span.terminal { color: #C30; }
span.bnfsymbol { color: green; font-weight: bold; }
span.nonbnf { background: #CC9; }
pre.example { border: 1px solid black; padding: 3px; }