body {}
p {}
td {}
blockquote.callout  { background-color: #ffc; padding: 0 10pt; border: dotted 2px #666 }
body { font-family: "Lucida Grande", "Lucida Sans", Helvetica, Geneva, Arial, sans-serif }
h1.title { margin: 0; padding: 0; font-size:large }
h3 { font-size: medium }
a { text-decoration: none }
a:hover { text-decoration: underline }
dt { font-style: italic; margin-top: 6pt; margin-bottom: 2pt }
dfn { font-style: italic }
span.keyword { font-weight: bold }
span.comment { color: green }
span.nonterminal { font-style: italic }
a.keyword { color: black; font-weight: bold; text-decoration: none }
a.keyword:hover { color: black; font-weight: bold; text-decoration: underline }
div.synopsis { margin-left: 15pt }
div.description { margin-left: 15pt }
div.example { margin-left: 15pt }
div.seealso { margin-left: 15pt }
.center-table { margin-left: auto; margin-right: auto; font-size:small }
.nowrap { white-space: nowrap }