body {background-color: #FFFFFF; font-size: small; font-family: SansSerif, Arial, Helvetica, sans-serif} h1 {font-size: x-large; font-family: SansSerif, Arial, Helvetica, sans-serif; font-weight: bold; color: #8080C0; margin-top: 0; margin-bottom: 0} h1.cover {border-top="300em"; margin-botttom="120"; font-family: Palatino; font-size: 24pt; font-style: normal; font-weight: bold} h2 {font-size: large; font-family: SansSerif, Arial, Helvetica, sans-serif; font-weight: bold; color: #8080C0; margin-top: 10; margin-bottom: -5} h3 {font-size: medium; font-family: SansSerif, Arial, Helvetica, sans-serif; font-weight: bold; color: #8080C0; margin-top: 10; margin-bottom: -5} h4 {font-size: small; font-family: SansSerif, Arial, Helvetica, sans-serif; font-weight: bold; color: #8080C0; margin-top: 10; margin-bottom: -5} p {font-size: small; font-family: SansSerif, Arial, Helvetica, sans-serif; margin-top: 10; margin-bottom: 0} p.code {font-family: Monospaced; margin-left: 22} p.glossTitle {margin-top: 0; font-weight: bold; color: #8080C0;} p.indent1 {margin-left: 3} p.indent2 {margin-left: 12} p.indent3 {margin-left: 32} p.note {margin-top: -19; margin-left: 22} p.table {font-size: samll; font-family: SansSerif, Arial, Helvetica, sans-serif; margin-top:0; margin-bottom: 0} blockquote.menu {margin-left: 18; margin-top: 10} center {margin-top: 10} dl {margin-left: 10; margin-top: 10; margin-bottom: 10} dd.hang {margin-left:15; margin-bottom:10} dd.hang_last {margin-left:15; margin-bottom:0} dd.next {margin-left: 31} dd p {margin-left: 20; margin-top: 0; margin-bottom: 0} ol {margin-top: 5; margin-bottom: 0; margin-left: 21} li {margin-top: 0; margin-bottom: 5} li p{font-size: small; font-family: SansSerif, Arial, Helvetica, sans-serif; margin-top: 5; margin-bottom: 0} ul {margin-top: 5; margin-bottom: 0; margin-left: 21; list-style: circle} pre.code_table {font-size: x-small; margin-left: 10; font-family: Monospaced, "Courier New", Courier, mono} [border] {border: solid thin; border-color: silver} table {border: none; border-color: white; margin-top: 5; margin-bottom: 5} td {font-size: small; font-family: SansSerif, Arial, Helvetica, sans-serif; padding-left: 1; padding-right: 1; padding-top: 1; padding-bottom: 1} th {padding-left: 1; padding-right: 1; padding-top: 1; padding-bottom: 1} small {font-size: x-small} dl.see_also {margin-left: 0; margin-top: 10; margin-bottom: 10} a.nounderline {text-decoration: none } pre { font-family: Monospaced, "Courier New", Courier, mono; font-size: x-small} code { font-family: Monospaced, "Courier New", Courier, mono; font-size: x-small}