body {background-color: white; color: black}
[class='kw'] {font-weight: bold; color: purple}
[class='nt'],[class='nt'] mi {color: blue; font-style: normal}
[class='t'] {color: red}
.first,.oper_title,.op_type,.op_def { display: block}
.oper_title { margin-left: 1em }
.op_type { margin-left: 1.25em }
.op_def { margin-left: 1.75em }
.center {text-align: center }
.tr {display: inline; margin: 1em; border-style: solid; position: static; text-align: left}
.links {text-align: center; border-style: solid; }
.links a {padding-left: 0.5em; padding-right: 0.5em; border-style: solid; text-decoration: none; }
.float_left {float: left; }
.float_right {float: right; }
.caption {text-align: center; font-size: small; }