p {
  margin: .7em 1ex;
  font-size: 11pt;
  line-height: 1.3em;
}
p.str {
  text-indent: 1ex;
}
p.eg {
  margin: .5em 2ex;
}
pre {
  margin: .5em 1ex;
  padding 0ex;
  font-size: 10pt;
  line-height: 1.3em;
  font-family: monospace;
}
table.pre {
  margin-left: 1.5em;
  font-size: 10pt;
  line-height: 1.3em;
  font-family: monospace;
}
table.att{
  margin-left: 1.0em;
}
th, td, dt {
  font-size: 10pt;
  line-height: 1.3em;
}
dd {
  font-size: 10pt;
  line-height: 1.3em;
  margin-left: 3ex;
}
ul {
  list-style-position: outside;
  margin: .5em 2ex; padding 0ex;
}
li {
  margin: 0em 2ex;
  padding 0ex;
}
dl {
  list-style-position: outside;
  margin: .5em 2ex;
  padding 0ex;
}
div.tag {
  line-height: 100%;
  border: solid 1px black;
  margin-top: 0;
  padding: 2px .5ex;
  font-size: 8pt;
  float: left;
}
a.tag {
  text-decoration: none;
}
div.item {
  margin: 1em 1ex .5em;
  font-weight: bold;
  font-size: 11pt;
  line-height: 1.3em;
}
sup.pow {
  font-size: 8pt;
}
h1.title {
  margin: 0em 0ex;
  font-family: sans-serif;
  font-weight: bold;
  font-size: 24pt;
  line-height: 2.0em;
}
h1.subtitle {
  margin: 0em 0ex;
  font-family: sans-serif;
  font-weight: bold;
  font-size: 18pt;
  line-height: 2.0em;
}
h2 {
  margin: 1em 0ex 0em;
  font-weight: bold;
  font-size: 16pt;
  line-height: 1.8em;
}
h3 {
  margin: 1em 0ex 0em;
  font-weight: bold;
  font-size: 14pt;
  line-height: 1.6em;
}
h4 {
  margin: 1em 0ex 0em;
  font-weight: bold;
  font-size: 12pt;
  line-height: 1.5em;
}
h5 {
  margin: 1em 0ex 0em;
  font-weight: bold;
  font-size: 11pt;
  line-height: 1.5em;
}
h6 {
  margin: 1em 0ex 0em;
  font-weight: bold;
  font-size: 11pt;
  line-height: 1.5em;
}
span.cont1 {
  margin: 2pt 0 2pt 1ex;
  font-size: 10pt;
  line-height: 1.3em;
  float: left;
}
span.cont2 {
  margin: 2pt 0 2pt 2ex;
  font-size: 10pt;
  line-height: 1.3em;
  float: left;
}
span.cont3 {
  margin: 2pt 0 2pt 3ex;
  font-size: 10pt;
  line-height: 1.3em;
  float: left;
}
span.cont4 {
  margin: 2pt 0 2pt 4ex;
  font-size: 10pt;
  line-height: 1.3em;
  float: left;
}
span.cont5 {
  margin: 2pt 0 2pt 5ex;
  font-size: 10pt;
  line-height: 1.3em;
  float: left;
}
span.cont6 {
  margin: 2pt 0 2pt 6ex;
  font-size: 10pt;
  line-height: 1.3em;
  float: left;
}
span.cont7 {
  margin: 2pt 0 2pt 7ex;
  font-size: 10pt;
  line-height: 1.3em;
  float: left;
}
span.contr {
  margin: 2pt 1ex 2pt 0;
  font-size: 10pt;
  line-height: 1.3em;
  float: right;
}
div.navbar {
  font-size: 10pt;
  line-height: 1.3em;
}

@media print {
  p.str {
    text-indent: 1ex;
    font-family: serif;
  }
  table.att{
    margin-left: 1.0em;
    border-collapse:collapse;
  }
  table.navbar {
    visibility: hidden;
  }
  div.navbar {
    visibility: hidden;
  }
  a {
    text-decoration: none;
    font-weight: bold;
    color: black;
    font-family: sans-serif;
  }
  a.tag {
    font-weight: normal;
  }
  a.cont {
    font-weight: normal;
  }
}