body { background-color: ivory }

a.dull { color: grey ; text-decoration: underline }
a:hover { color: red ; text-decoration: underline } /* user hovers */

a:hover.xref { color: red ; text-decoration: underline } /* user hovers */

/* table, th, td
{ border-width: 1px;
border-style: solid;
border-spacing: 1px;
} */

h1 { text-align: center; }
h2 { text-align: center; }

th { text-align: center; vertical-align: middle; font-size: larger; font-weight: bold; text-align: center; }

td { text-align: left; vertical-align: top; }

div.update { background-color: aqua; font-size: 0.6em; }

/*/*/a{}
body p, td, ul
{ font-size: medium;
voice-family: "\"}\"";
voice-family: inherit;
font-size: small;
}
html>body p, td, ul
{
font-size: small;
}
/* */