div.AbstractMethod, caption.AbstractMethod
{
  color: #000000;
  direction: ltr;
  font-family: "Microsoft Sans Serif";
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 8.0pt;
  margin-left: 70.8661417322835pt;
  margin-right: 0pt;
  margin-top: 8.0pt;
  text-align: left;
  text-indent: -28.346456692913392pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Accessors, caption.Accessors
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 4.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 8.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Arguments, caption.Arguments
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Body, caption.Body
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 6.0pt;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  text-align: left;
  text-indent: 0em;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Bullet, caption.Bullet
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 2.0pt;
  margin-left: 4.25em;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: -14.173228346456pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Caption, caption.Caption
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 6.0pt;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Category, caption.Category
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.CellBody, caption.CellBody
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 0.0pt;
  padding-bottom: .25em;
  padding-top: .25em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.CellHeading, caption.CellHeading
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Classname, caption.Classname
{
  border-bottom-color: Black;
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 20px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 2em;
  margin-left: 0em;
  margin-right: 0pt;
  margin-top: 0em;
  padding-left: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 99%;
}

div.Code, caption.Code
{
  background-color: #E0E0E0;
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: small;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0em;
  margin-left: 2.75em;
  margin-right: 0pt;
  margin-top: 0em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  white-space: pre;
  width: 92%;
}

div.Constraints, caption.Constraints
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 6.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 8.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Construct1, caption.Construct1
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Construct2, caption.Construct2
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Datamembers, caption.Datamembers
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Definition, caption.Definition
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Derived, caption.Derived
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 4.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Description, caption.Description
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Destructor, caption.Destructor
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Details, caption.Details
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Example, caption.Example
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Examples, caption.Examples
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 4.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Exceptions, caption.Exceptions
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 6.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 8.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Footnote, caption.Footnote
{
  color: #000000;
  direction: ltr;
  font-family: "Times New Roman";
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.0pt;
  margin-left: 28.3464566929134pt;
  margin-right: 14.1732283464567pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: -14.1732283464567pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.FunctionText, caption.FunctionText
{
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 4.0pt;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 4.0pt;
  text-align: left;
  text-indent: 0em;
  text-transform: none;
  vertical-align: baseline;
  white-space: pre;
  width: 96%;
}

div.FunctionTextContinued, caption.FunctionTextContinued
{
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 4.0pt;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 4.0pt;
  text-align: left;
  text-indent: 0em;
  text-transform: none;
  vertical-align: baseline;
  white-space: pre;
  width: 96%;
}

div.Header, caption.Header
{
  color: #000000;
  direction: ltr;
  font-family: "Microsoft Sans Serif";
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: justify;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.HeaderFile, caption.HeaderFile
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 10.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.HeaderText, caption.HeaderText
{
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 6.0pt;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  text-align: left;
  text-indent: 0em;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Heading1, caption.Heading1
{
  border-bottom-color: Black;
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 20px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 2em;
  margin-left: 0em;
  margin-right: 0pt;
  margin-top: 0em;
  padding-left: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 99%;
}

div.Heading2, caption.Heading2
{
  border-bottom-color: Black;
  border-bottom-style: solid;
  border-bottom-width: thin;
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 16px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 2em;
  margin-left: 0.35em;
  margin-right: 0pt;
  margin-top: 0em;
  padding-left: 0.5em;
  text-align: left;
  text-indent: 0em;
  text-transform: none;
  vertical-align: baseline;
  width: 99%;
}

div.Heading3, caption.Heading3
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 10.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.HeadingRunIn, caption.HeadingRunIn
{
  color: #000000;
  direction: ltr;
  font-family: "Times New Roman";
  font-size: 12.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 6.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Implementation, caption.Implementation
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Important, caption.Important
{
  color: #000000;
  direction: ltr;
  font-family: "Microsoft Sans Serif";
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 8.0pt;
  margin-left: 108pt;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: -79.632pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Include, caption.Include
{
  color: #000000;
  direction: ltr;
  font-family: "Times New Roman";
  font-size: 10.0pt;
  font-style: italic;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 13.0pt;
  margin-left: 99.2125984251968pt;
  margin-right: 0pt;
  margin-top: 4.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.IndentedL1, caption.IndentedL1
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 6.0pt;
  margin-left: 3em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.IndentedL2, caption.IndentedL2
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 6.0pt;
  margin-left: 4.25em;
  margin-right: 0pt;
  margin-top: 4.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Indextitle, caption.Indextitle
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 18.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 7.0pt;
  margin-left: 113.385826771654pt;
  margin-right: 0pt;
  margin-top: 13.0pt;
  text-align: left;
  text-indent: -14.173228346457193pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Inheritance, caption.Inheritance
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Inheritext, caption.Inheritext
{
  background-color: #E0E0E0;
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: small;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0em;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 0em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  white-space: pre;
  width: 90%;
}

div.Intertitle, caption.Intertitle
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Itemize, caption.Itemize
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 2.0pt;
  margin-left: 3em;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: -14.173228346457193pt;
  text-transform: none;
  vertical-align: baseline;
  width: 90%;
}

div.Libraries, caption.Libraries
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 10.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Library, caption.Library
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 10.0pt;
  padding-bottom: 0em;
  padding-left: 0.5em;
  padding-top: 0em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.MacroMethod, caption.MacroMethod
{
  color: #000000;
  direction: ltr;
  font-family: "Microsoft Sans Serif";
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.0pt;
  margin-left: 70.8661417322835pt;
  margin-right: 0pt;
  margin-top: 4.0pt;
  text-align: left;
  text-indent: -28.346456692913392pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Macros, caption.Macros
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.75em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Memberf, caption.Memberf
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Method, caption.Method
{
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.25em;
  margin-left: 1.5em;
  margin-right: 0pt;
  margin-top: 1.25em;
  text-align: left;
  text-indent: -28.346456692913392pt;
  text-transform: none;
  vertical-align: baseline;
  white-space: pre;
  width: 96%;
}

div.MethodContinued, caption.MethodContinued
{
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 4.0pt;
  margin-left: 70.8661417322835pt;
  margin-right: 0pt;
  margin-top: 4.0pt;
  text-align: left;
  text-indent: -28.346456692913392pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Modifiers, caption.Modifiers
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 4.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 8.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Note, caption.Note
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif, 'Open Sans';
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 4.0pt;
  margin-left: 5.66929133858268pt;
  margin-right: 0pt;
  margin-top: 0em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Numbered, caption.Numbered
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 4.0pt;
  margin-left: 3em;
  margin-right: 0pt;
  margin-top: 7.0pt;
  text-align: left;
  text-indent: -14.173228346457193pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Numbered1, caption.Numbered1
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 4.0pt;
  margin-left: 3em;
  margin-right: 0pt;
  margin-top: 7.0pt;
  text-align: left;
  text-indent: -14.173228346457193pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Operators, caption.Operators
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Pattern, caption.Pattern
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.ProtectMemf, caption.ProtectMemf
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.RelatedType, caption.RelatedType
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 4.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Seealso, caption.Seealso
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.Seealsotext, caption.Seealsotext
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 6.0pt;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  text-align: left;
  text-indent: 0em;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Separator, caption.Separator
{
  color: #000000;
  direction: ltr;
  font-family: "Microsoft Sans Serif";
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.0pt;
  margin-left: 108pt;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: -108pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.ServerPro, caption.ServerPro
{
  color: #000000;
  direction: ltr;
  font-family: "Times New Roman";
  font-size: 7.0pt;
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 4.0pt;
  margin-left: 99.2125984251968pt;
  margin-right: 0pt;
  margin-top: 4.0pt;
  text-align: left;
  text-indent: -99.2125984251968pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Signature, caption.Signature
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 8.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.SplashTitle, caption.SplashTitle
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: xx-large;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 0.0pt;
  padding-bottom: 1.5em;
  text-align: center;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.StaticMethod, caption.StaticMethod
{
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 1.25em;
  text-align: left;
  text-indent: 1em;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Synopsis, caption.Synopsis
{
  color: #226099;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 6.0pt;
  padding-bottom: 0.25em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
}

div.TableFootnote, caption.TableFootnote
{
  color: #000000;
  direction: ltr;
  font-family: "Times New Roman";
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.0pt;
  margin-left: 28.3464566929134pt;
  margin-right: 14.1732283464567pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: -14.1732283464567pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.TableTitle, caption.TableTitle
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 0em;
  margin-left: 1.35em;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Title, caption.Title
{
  color: #000000;
  direction: ltr;
  font-family: "Times New Roman";
  font-size: 18.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 12.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 24.0pt;
  text-align: center;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Types, caption.Types
{
  color: #000000;
  direction: ltr;
  font-family: Arial;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  margin-bottom: 4.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.VirtualMethod, caption.VirtualMethod
{
  color: #000000;
  direction: ltr;
  font-family: Monospace;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.5em;
  margin-left: .75em;
  margin-right: 0pt;
  margin-top: 1.25em;
  text-align: left;
  text-indent: 1em;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

div.Warning, caption.Warning
{
  color: #000000;
  direction: ltr;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  margin-bottom: 0.0pt;
  margin-left: 5.66929133858268pt;
  margin-right: 0pt;
  margin-top: 0.0pt;
  text-align: left;
  text-indent: 0pt;
  text-transform: none;
  vertical-align: baseline;
  width: 96%;
}

span.arrow, abbreviation.arrow, acronym.arrow, citation.arrow
{
  color: #000000;
  font-family: ZapfDingbats;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.blue, abbreviation.blue, acronym.blue, citation.blue
{
  color: #0000ff;
  font-variant: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.bold, abbreviation.bold, acronym.bold, citation.bold
{
  font-weight: bold;
}

span.boldcode, abbreviation.boldcode, acronym.boldcode, citation.boldcode
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.bullet, abbreviation.bullet, acronym.bullet, citation.bullet
{
  color: #000000;
  font-family: ZapfDingbats;
  font-size: 5.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.callout, abbreviation.callout, acronym.callout, citation.callout
{
  color: #000000;
  font-family: Helvetica;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.caption, abbreviation.caption, acronym.caption, citation.caption
{
  color: #000000;
  font-family: Sans-Serif;
  font-size: 13px;
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.chapternumber, abbreviation.chapternumber, acronym.chapternumber, citation.chapternumber
{
  color: #000000;
  font-family: Helvetica;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.code, abbreviation.code, acronym.code, citation.code
{
  color: #000000;
  font-family: Monospace;
  font-size: small;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.currentclass, abbreviation.currentclass, acronym.currentclass, citation.currentclass
{
  color: #000000;
  font-family: Courier;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.diamond, abbreviation.diamond, acronym.diamond, citation.diamond
{
  color: #000000;
  font-family: ZapfDingbats;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.dingbat, abbreviation.dingbat, acronym.dingbat, citation.dingbat
{
  color: #000000;
  font-family: ZapfDingbats;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.emphasis, abbreviation.emphasis, acronym.emphasis, citation.emphasis
{
  color: #000000;
  font-style: italic;
  font-variant: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.flag, abbreviation.flag, acronym.flag, citation.flag
{
  color: #858A8B;
  font-family: Sans-Serif;
  font-size: 10.0pt;
  font-style: normal;
  font-weight: bold;
  vertical-align: baseline;
}

span.folionum, abbreviation.folionum, acronym.folionum, citation.folionum
{
  color: #000000;
  font-family: Helvetica;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.functionhead, abbreviation.functionhead, acronym.functionhead, citation.functionhead
{
  color: #000000;
  font-family: Helvetica;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.gotoclass, abbreviation.gotoclass, acronym.gotoclass, citation.gotoclass
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.gotoglossaryentry, abbreviation.gotoglossaryentry, acronym.gotoglossaryentry, citation.gotoglossaryentry
{
  color: #000000;
  font-family: Times;
  font-size: 10.0pt;
  font-style: italic;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.gotomethod, abbreviation.gotomethod, acronym.gotomethod, citation.gotomethod
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.gotonestedclass, abbreviation.gotonestedclass, acronym.gotonestedclass, citation.gotonestedclass
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.gotorefguide, abbreviation.gotorefguide, acronym.gotorefguide, citation.gotorefguide
{
  color: #000000;
  font-family: Sans-Serif;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.gotorefhideclass, abbreviation.gotorefhideclass, acronym.gotorefhideclass, citation.gotorefhideclass
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.gototypedef, abbreviation.gototypedef, acronym.gototypedef, citation.gototypedef
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.gotourl, abbreviation.gotourl, acronym.gotourl, citation.gotourl
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.hypertext, abbreviation.hypertext, acronym.hypertext, citation.hypertext
{
  color: #000000;
  font-variant: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.hyperwebjump, abbreviation.hyperwebjump, acronym.hyperwebjump, citation.hyperwebjump
{
  color: #000000;
  font-variant: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.insettext, abbreviation.insettext, acronym.insettext, citation.insettext
{
  color: #000000;
  font-family: Helvetica;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.mantitle, abbreviation.mantitle, acronym.mantitle, citation.mantitle
{
  color: #000000;
  font-family: Helvetica;
  font-size: 9.0pt;
  font-style: normal;
  font-weight: normal;
  vertical-align: baseline;
}

span.methodname, abbreviation.methodname, acronym.methodname, citation.methodname
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.note, abbreviation.note, acronym.note, citation.note
{
  color: #7f7f7f;
  font-family: Palatino;
  font-size: 10.0pt;
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.number, abbreviation.number, acronym.number, citation.number
{
  color: #000000;
  font-family: Helvetica;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.product, abbreviation.product, acronym.product, citation.product
{
  color: #000000;
  font-family: Times;
  font-size: 10.0pt;
  font-style: normal;
  font-weight: normal;
  vertical-align: baseline;
}

span.smallcaps, abbreviation.smallcaps, acronym.smallcaps, citation.smallcaps
{
  color: #000000;
  font-family: Times;
  font-size: 10.0pt;
  font-style: normal;
  font-weight: normal;
  vertical-align: baseline;
}

span.squares, abbreviation.squares, acronym.squares, citation.squares
{
  color: #000000;
  font-family: ZapfDingbats;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.static, abbreviation.static, acronym.static, citation.static
{
  color: #000000;
  font-family: Times;
  font-size: 9.0pt;
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
  text-transform: none;
  vertical-align: baseline;
}

span.subscript, abbreviation.subscript, acronym.subscript, citation.subscript
{
  color: #000000;
  font-family: Times;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: sub;
}

span.subscriptcode, abbreviation.subscriptcode, acronym.subscriptcode, citation.subscriptcode
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: sub;
}

span.subscriptemphasis, abbreviation.subscriptemphasis, acronym.subscriptemphasis, citation.subscriptemphasis
{
  color: #000000;
  font-style: italic;
  font-variant: normal;
  text-transform: none;
  vertical-align: sub;
}

span.superscript, abbreviation.superscript, acronym.superscript, citation.superscript
{
  font-variant: normal;
  text-transform: none;
  vertical-align: super;
}

span.superscriptcode, abbreviation.superscriptcode, acronym.superscriptcode, citation.superscriptcode
{
  color: #000000;
  font-family: Courier;
  font-size: 9.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: super;
}

span.superscriptemphasis, abbreviation.superscriptemphasis, acronym.superscriptemphasis, citation.superscriptemphasis
{
  color: #000000;
  font-style: italic;
  font-variant: normal;
  text-transform: none;
  vertical-align: super;
}

span.symbol, abbreviation.symbol, acronym.symbol, citation.symbol
{
  color: #000000;
  font-size: 10.0pt;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  text-transform: none;
  vertical-align: baseline;
}

span.warning, abbreviation.warning, acronym.warning, citation.warning
{
  color: #000000;
  font-family: Palatino;
  font-size: 10.0pt;
  font-style: italic;
  font-weight: bold;
  vertical-align: baseline;
}

span.white, abbreviation.white, acronym.white, citation.white
{
  color: #ffffff;
  font-variant: normal;
  text-transform: none;
  vertical-align: baseline;
}

table.NoteTable
{
  border-bottom-color: Black;
  border-bottom-style: solid;
  border-bottom-width: thin;
  border-left-color: Black;
  border-left-style: solid;
  border-left-width: thin;
  border-right-color: Black;
  border-right-style: solid;
  border-right-width: thin;
  border-top-color: Black;
  border-top-style: solid;
  border-top-width: thin;
  direction: ltr;
  margin-bottom: 0.5em;
  margin-left: 1em;
  margin-right: 99.2125984251968pt;
  margin-top: 0.5em;
  padding-bottom: 2pt;
  padding-left: 0pt;
  padding-right: 0pt;
  padding-top: 2pt;
  text-align: left;
  width: 90%;
}

table.Format_C
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 24.0pt;
  margin-left: 99.2125984251968pt;
  margin-right: 0pt;
  margin-top: 24.0pt;
  padding-bottom: 4pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 6pt;
  text-align: left;
}

table.Format_A
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 4.0pt;
  margin-left: 85.0393700787401pt;
  margin-right: 85.0393700787401pt;
  margin-top: 8.0pt;
  padding-bottom: 3pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 3pt;
  text-align: left;
}

table.Format_B
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 12.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 4pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 6pt;
  text-align: center;
}

table.IlogGrammar
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 12.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 4pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 6pt;
  text-align: center;
}

table.Function_table
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 4.0pt;
  margin-left: 85.0393700787401pt;
  margin-right: 85.0393700787401pt;
  margin-top: 8.0pt;
  padding-bottom: 3pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 3pt;
  text-align: left;
}

table.WarningTable
{
  border-bottom-color: Black;
  border-bottom-style: solid;
  border-bottom-width: thin;
  border-left-color: Black;
  border-left-style: solid;
  border-left-width: thin;
  border-right-color: Black;
  border-right-style: solid;
  border-right-width: thin;
  border-top-color: Black;
  border-top-style: solid;
  border-top-width: thin;
  direction: ltr;
  margin-bottom: 12.0pt;
  margin-left: 1em;
  margin-right: 99.2125984251968pt;
  margin-top: 0.5em;
  padding-bottom: 2pt;
  padding-left: 0pt;
  padding-right: 0pt;
  padding-top: 2pt;
  text-align: left;
  width: 90%;
}

table.functiontable
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 0.0pt;
  margin-left: 85.0393700787401pt;
  margin-right: 85.0393700787401pt;
  margin-top: 6.0pt;
  padding-bottom: 3pt;
  padding-left: 3pt;
  padding-right: 6pt;
  padding-top: 3pt;
  text-align: left;
}

table.Concept_Box
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 12.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 4pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 4pt;
  text-align: right;
}

table.ILOG_3_Col_Table
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 12.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 4pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 6pt;
  text-align: right;
}

table.ILOG_2_Col_Table
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 12.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 4pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 6pt;
  text-align: right;
}

table.ILOG__0027n_0027_Col_Table
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 12.0pt;
  margin-left: 0pt;
  margin-right: 0pt;
  margin-top: 12.0pt;
  padding-bottom: 4pt;
  padding-left: 6pt;
  padding-right: 6pt;
  padding-top: 6pt;
  text-align: right;
}

table.List
{
  border-collapse: collapse;
  direction: ltr;
  margin-bottom: 3.0pt;
  margin-left: 7em;
  margin-right: 0pt;
  margin-top: 0.0pt;
  padding-bottom: 4pt;
  padding-left: 4pt;
  padding-right: 4pt;
  padding-top: 6pt;
  text-align: center;
}

img.Default
{
  margin-left: auto;
  margin-right: auto;
}

video.Default
{
  margin-left: auto;
  margin-right: auto;
}

