blob: 8086158f8281968228b7e46df8383a427be94d99 [file]
a.footnote:link { text-decoration: none; }
a.footnote:visited { text-decoration: none; }
a.footnote:hover { text-decoration: underline; }
tt.code { color: #4444CC; }
.highlight { background-color: #FFFFCC; }