.math{font-family:"Century Schoolbook",serif}.math i{font-family:"Century Schoolbook",serif;font-weight:bold}.boldmath{font-family:"Century Schoolbook",serif;font-weight:bold}small.xtiny{font-size:xx-small}small.tiny{font-size:x-small}small.scriptsize{font-size:smaller}small.footnotesize{font-size:small}big.xlarge{font-size:large}big.xxlarge{font-size:x-large}big.huge{font-size:larger}big.xhuge{font-size:xx-large}body{color:#000000;background-color:#ffffff}a:active{color:#ff0000}a:visited{color:#551a8b}a:link{color:#0000bb}h1,h2,h3,h4,h5,h6{font-family:avantgarde,sans-serif;font-weight:bold}h1{font-size:180%}h2{font-size:150%}h3,h4{font-size:120%}code,tt{font-family:lucida typewriter,lucidatypewriter,monospace}var{font-family:times,serif;font-style:italic;font-weight:normal}.typelabel{font-family:lucida,sans-serif}.navigation td{background-color:#99ccff;font-weight:bold;font-family:avantgarde,sans-serif;font-size:110%}.release-info{font-style:italic}.titlegraphic{vertical-align:top}.verbatim{color:#00008b;font-family:lucida typewriter,lucidatypewriter,monospace}.grammar{background-color:#99ccff;margin-right:0.5in;padding:0.05in}.productions{background-color:#bbeeff}.productions table{vertical-align:baseline}.grammar-footer{padding:0.05in;font-size:85%}.email{font-family:avantgarde,sans-serif}.mailheader{font-family:avantgarde,sans-serif}.mimetype{font-family:avantgarde,sans-serif}.newsgroup{font-family:avantgarde,sans-serif}.url{font-family:avantgarde,sans-serif}.file{font-family:avantgarde,sans-serif}.tableheader{background-color:#99ccff;font-family:avantgarde,sans-serif}.refcount-info{font-style:italic}.refcount-info .value{font-weight:bold;color:#006600}.seealso{background-color:#fffaf0;border:thin solid black;padding:4pt}.seealso .heading{font-size:110%}.availability .platform{font-weight:bold}