body
{ 
  font-family: "Times New Roman", Times, serif;
  font-size: 12pt;
  font-weight: normal;
  margin-left: 2.5em;
  margin-right: 2.5em;
}

p
{ 
  margin-top: 0pt;
  margin-bottom: 6pt
}

pre 
{ 
  font-family: "Courier New", monospace;
  background-color: #cccccc;
  color: #000000;
  margin: 0pt 0pt;
  border: #008000 none
}

hr 
{
  color: #000080;
  background-color: #000080;
  margin-top: 6pt;
  margin-bottom: 6pt
}

table
{
  margin-left:12pt;
  margin-top: 12pt;
  margin-bottom: 12pt
}

h1
{ 
  color: #000080; 
  text-align: left;
  font-size: 20pt; font-family: Arial, Helvetica, sans-serif;
  font-weight: normal
}

h2
{ 
  color: #000080;
  font-size: 18pt; font-family: Arial, Helvetica, sans-serif;
  font-weight: normal
}

h3
{ 
  font-size: 16pt; 
  color: #000080;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: normal
}

h4
{
  font-size: 14pt;
  color: #000080;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: normal
}

h5
{ 
  font-size: 12pt;
  color: #000080;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: normal
}

code
{
  font-family: "Courier New", Courier, mono;
  font-size: 10pt;
  color: #000000
}

dd
{
  margin-top: 0.8em;
  margin-bottom: 0.8em;
}

dt 
{
  margin-top: 10pt;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12pt;
  color: #000080
}

ol
{
  margin-top: 6pt;
  margin-bottom: 6pt
}

li
{
  margin-top: 3pt;
  margin-bottom: 3pt
}

a:hover
{
  color: #990000
}

.subtitle 
{  
  text-align: left;
  font-size: 16pt;
  color: #000080;
  font-family: Arial, Helvetica, sans-serif;
  margin-top: 6pt;
  margin-bottom: 6pt
}


.title
{
  text-align: left;
  font-size: 20pt; 
  color: #000080;
  font-family: Arial, Helvetica, sans-serif
}

.subtitle 
{  
  text-align: left;
  font-size: 16pt;
  color: #000080;
  font-family: Arial, Helvetica, sans-serif;
  margin-top: 6pt;
  margin-bottom: 6pt
}

.glossaryTerm 
{  
  font-style: italic;
  color: #006699
}

.comment
{
  color: #FF0000;
  font-style: italic
}

.deleted
{
  color: #999999;
  text-decoration: line-through
}

.added
{  
  color: #FF0000; 
  text-decoration: underline
}

.example
{ 
  font-family: "Courier New", monospace;
  background-color: #CCFFFF;
  color: #000000;
  margin: 0pt 0pt;
  border: #008000 none
}

.schema
{ 
  font-family: "Courier New", monospace;
  background-color: #FFFFCC;
  color: #000000;
  margin: 0pt 0pt;
  border: #008000 none
}

.documentinfo
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12pt;
}

.ol-contents
{
  margin-top: 0pt;
  margin-bottom: 0pt
}

.li-contents
{
  margin-top: 0pt;
  margin-bottom: 0pt
}

.logoTitle { text-align: center; font-size: 24pt; color: #000080; font-family: Arial, Helvetica, sans-serif ; font-weight: bold}
.logoTable { margin-top: 12pt; margin-bottom: 0pt; margin-left: 0px}
.rfc2119Keyword {  font-variant: small-caps}