A:link {color:blue; text-decoration:none}
A:active {color:yellow; text-decoration:none}
A:visited {color:yellow; text-decoration:none}
A:hover {color:yellow; text-decoration:none; background:Blue}
A.ref:link {color:yellow; text-decoration:underline}
A.ref:active {color:yellow; text-decoration:underline}
A.ref:visited {color:yellow; text-decoration:underline}
A.ref:hover {color:white; text-decoration:underline; background:Blue}
A.plainlink:link {color:Blue; text-decoration:none}
A.plainlink:active {color:Blue; text-decoration:none}
A.plainlink:visited {color:yellow; text-decoration:none}
A.plainlink:hover {color:white; text-decoration:none; background:Blue}

H1, H2, H3, H4 {color: Black}
H1 {font-size: 2em}
H2 {font-size: 1.5em}
H3 {font-size: 1.17em}
H1, H2, H3, H4 {font-weight: bold}

table.indent {margin-left: 20px}

.pruned{ color: red; }
.inserted{ color: green; }
.attr{ font-weight: bold; }
.attrvalue{ color: blue; }
.tag{ color: navy; font-weight: bold; }
.entity{ color: purple; font-weight: bold; }
.errflag{ color: red; font-weight: bold; }