a:link { text-decoration: none; color: blue; }
a:hover, a:visited, a:visited:hover { text-decoration: underline; color: blue; }
body { font-family: sans-serif; font-size: 10pt; }
code, pre { color: mediumblue; }
.added { color: red; }