body { background-color: #FFFFFF; color: #000000; }
dt {font-weight: bold; }
p.sig { text-align: right; }
div.keeptogether p { margin-top: 0em; margin-bottom: 0em; }
pre span { background-color: #FFFFFF; color: #A52A2A; }
table.code {width: 90%; }
table.code td {background-color: #FAEBD7; color: #000000;
 border: 1px solid black; }
table.code td pre {margin-bottom: 0em; }
table.prop {border: thin solid black; }
table.prop th {background-color: #00CCFF; color: #000000; }
table.prop td {border: 1px solid black; }

/* For the test links table at the bottom of a page: */
table.tests {margin-left: auto; margin-right: auto; }
table.tests tr#test1 td {border: 0px; text-align: center; vertical-align: bottom; }
table.tests tr#test2 td {border: 0px; text-align: center; font-size: 80%; }