/* Shared CSS for AsciiDoc xhtml11 and html5 backends */
/* Default font. */
.userguide pre{
  background-color: inherit;
  border: none;
}
.userguide em {
  font-style: italic;
  color: navy;
}
.userguide strong {
  font-weight: bold;
  color: #083194;
}
.userguide #header h1{
  text-align: center;
}
.userguide h1,
.userguide h2,
.userguide h3,
.userguide h4,
.userguide h5,
.userguide h6 {
  color: #527bbd;
  margin-top: 1.2em;
  margin-bottom: 0.5em;
  line-height: 1.3;
}
.userguide h1,
.userguide h2,
.userguide h3 {
  border-bottom: 2px solid silver;
}
.userguide h2 {
  padding-top: 0.5em;
}
.userguide h3 {
  float: left;
}
.userguide h3 + * {
  clear: left;
}
.userguide h5 {
  font-size: 1.0em;
}
.userguide div.sectionbody {
  margin-left: 0;
}
.userguide hr {
  border: 1px solid silver;
}
.userguide p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
.userguide ul,
.userguide ol,
.userguide li > p {
  margin-top: 0;
}
.userguide ul > li     { color: #aaa; }
.userguide ul > li > * { color: black; }
.userguide .monospaced,
.userguide code,
.userguide pre {
  font-family: "Courier New",
.userguide Courier,
.userguide monospace;
  font-size: inherit;
  color: navy;
  padding: 0;
  margin: 0;
}
.userguide #author {
  color: #527bbd;
  font-weight: bold;
  font-size: 1.1em;
}
.userguide #email {
}
.userguide #revnumber,
.userguide #revdate,
.userguide #revremark {
}
.userguide #footer {
  display:  none;
  font-size: small;
  border-top: 2px solid silver;
  padding-top: 0.5em;
  margin-top: 4.0em;
}
.userguide #footer-text {
  padding-bottom: 0.5em;
}
.userguide #footer-badges {
  float: right;
  padding-bottom: 0.5em;
}
.userguide #preamble {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
}
.userguide div.imageblock,
.userguide div.exampleblock,
.userguide div.verseblock,
.userguide div.quoteblock,
.userguide div.literalblock,
.userguide div.listingblock,
.userguide div.sidebarblock,
.userguide div.admonitionblock {
  margin-top: 1.0em;
  margin-bottom: 1.5em;
}
.userguide div.admonitionblock {
  margin-top: 2.0em;
  margin-bottom: 2.0em;
  margin-right: 10%;
  color: #606060;
}
.userguide div.content { /* Block element content. */
  padding: 0;
}
/* Block element titles. */
.userguide div.title,
.userguide caption.title {
  color: #527bbd;
  font-weight: bold;
  text-align: left;
  margin-top: 1.0em;
  margin-bottom: 0.5em;
}
.userguide div.title + * {
  margin-top: 0;
}
.userguide td div.title:first-child {
  margin-top: 0.0em;
}
.userguide div.content div.title:first-child {
  margin-top: 0.0em;
}
.userguide div.content + div.title {
  margin-top: 0.0em;
}
.userguide div.sidebarblock > div.content {
  background: #ffffee;
  border: 1px solid #dddddd;
  border-left: 4px solid #f0f0f0;
  padding: 0.5em;
}
.userguide div.listingblock > div.content {
  border: 1px solid #dddddd;
  border-left: 5px solid #f0f0f0;
  background: #f8f8f8;
  padding: 0.5em;
}
.userguide div.quoteblock,
.userguide div.verseblock {
  padding-left: 1.0em;
  margin-left: 1.0em;
  margin-right: 10%;
  border-left: 5px solid #f0f0f0;
  color: #888;
}
.userguide div.quoteblock > div.attribution {
  padding-top: 0.5em;
  text-align: right;
}
.userguide div.verseblock > pre.content {
  font-family: inherit;
  font-size: inherit;
}
.userguide div.verseblock > div.attribution {
  padding-top: 0.75em;
  text-align: left;
}
.userguide /* DEPRECATED: Pre version 8.2.7 verse style literal block. */
div.verseblock + div.attribution {
  text-align: left;
}
.userguide div.admonitionblock .icon {
  vertical-align: top;
  font-size: 1.1em;
  font-weight: bold;
  text-decoration: underline;
  color: #527bbd;
  padding-right: 0.5em;
}
.userguide div.admonitionblock td.content {
  padding-left: 0.5em;
  border-left: 3px solid #dddddd;
}
.userguide div.exampleblock > div.content {
  border-left: 3px solid #dddddd;
  padding-left: 0.5em;
}
.userguide div.imageblock div.content { padding-left: 0; }
.userguide span.image img { border-style: none; }
.userguide a.image:visited { color: white; }
.userguide dl {
  margin-top: 0.8em;
  margin-bottom: 0.8em;
}
.userguide dt {
  margin-top: 0.5em;
  margin-bottom: 0;
  font-style: normal;
  color: navy;
}
.userguide dd > *:first-child {
  margin-top: 0.1em;
}
.userguide ul,
.userguide ol {
    list-style-position: outside;
}
.userguide ol.arabic {
  list-style-type: decimal;
}
.userguide ol.loweralpha {
  list-style-type: lower-alpha;
}
.userguide ol.upperalpha {
  list-style-type: upper-alpha;
}
.userguide ol.lowerroman {
  list-style-type: lower-roman;
}
.userguide ol.upperroman {
  list-style-type: upper-roman;
}
.userguide div.compact ul,
.userguide div.compact ol,
.userguide div.compact p,
.userguide div.compact p,
.userguide div.compact div,
.userguide div.compact div {
  margin-top: 0.1em;
  margin-bottom: 0.1em;
}
.userguide tfoot {
  font-weight: bold;
}
.userguide td > div.verse {
  white-space: pre;
}
.userguide div.hdlist {
  margin-top: 0.8em;
  margin-bottom: 0.8em;
}
.userguide div.hdlist tr {
  padding-bottom: 15px;
}
.userguide dt.hdlist1.strong,
.userguide td.hdlist1.strong {
  font-weight: bold;
}
.userguide td.hdlist1 {
  vertical-align: top;
  font-style: normal;
  padding-right: 0.8em;
  color: navy;
}
.userguide td.hdlist2 {
  vertical-align: top;
}
.userguide div.hdlist.compact tr {
  margin: 0;
  padding-bottom: 0;
}
.userguide .comment {
  background: yellow;
}
.userguide .footnote,
.userguide .footnoteref {
  font-size: 0.8em;
}
.userguide span.footnote,
.userguide span.footnoteref {
  vertical-align: super;
}
.userguide #footnotes {
  margin: 20px 0 20px 0;
  padding: 7px 0 0 0;
}
.userguide #footnotes div.footnote {
  margin: 0 0 5px 0;
}
.userguide #footnotes hr {
  border: none;
  border-top: 1px solid silver;
  height: 1px;
  text-align: left;
  margin-left: 0;
  width: 20%;
  min-width: 100px;
}
.userguide div.colist td {
  padding-right: 0.5em;
  padding-bottom: 0.3em;
  vertical-align: top;
}
.userguide div.colist td img {
  margin-top: 0.3em;
}
.userguide @media print {
  #footer-badges { display: none; }
.userguide }
.userguide #toc {
  margin-bottom: 2.5em;
}
.userguide #toctitle {
  color: #527bbd;
  font-size: 1.1em;
  font-weight: bold;
  margin-top: 1.0em;
  margin-bottom: 0.1em;
}
.userguide div.toclevel0,
.userguide div.toclevel1,
.userguide div.toclevel2,
.userguide div.toclevel3,
.userguide div.toclevel4 {
  margin-top: 0;
  margin-bottom: 0;
}
.userguide div.toclevel2 {
  margin-left: 2em;
  font-size: 0.9em;
}
.userguide div.toclevel3 {
  margin-left: 4em;
  font-size: 0.9em;
}
.userguide div.toclevel4 {
  margin-left: 6em;
  font-size: 0.9em;
}
.userguide span.aqua { color: aqua; }
.userguide span.black { color: black; }
.userguide span.blue { color: blue; }
.userguide span.fuchsia { color: fuchsia; }
.userguide span.gray { color: gray; }
.userguide span.green { color: green; }
.userguide span.lime { color: lime; }
.userguide span.maroon { color: maroon; }
.userguide span.navy { color: navy; }
.userguide span.olive { color: olive; }
.userguide span.purple { color: purple; }
.userguide span.red { color: red; }
.userguide span.silver { color: silver; }
.userguide span.teal { color: teal; }
.userguide span.white { color: white; }
.userguide span.yellow { color: yellow; }
.userguide span.aqua-background { background: aqua; }
.userguide span.black-background { background: black; }
.userguide span.blue-background { background: blue; }
.userguide span.fuchsia-background { background: fuchsia; }
.userguide span.gray-background { background: gray; }
.userguide span.green-background { background: green; }
.userguide span.lime-background { background: lime; }
.userguide span.maroon-background { background: maroon; }
.userguide span.navy-background { background: navy; }
.userguide span.olive-background { background: olive; }
.userguide span.purple-background { background: purple; }
.userguide span.red-background { background: red; }
.userguide span.silver-background { background: silver; }
.userguide span.teal-background { background: teal; }
.userguide span.white-background { background: white; }
.userguide span.yellow-background { background: yellow; }
.userguide span.big { font-size: 2em; }
.userguide span.small { font-size: 0.6em; }
.userguide span.underline { text-decoration: underline; }
.userguide span.overline { text-decoration: overline; }
.userguide span.line-through { text-decoration: line-through; }
.userguide div.unbreakable { page-break-inside: avoid; }
.userguide /*
 *
 *  *  * xhtml11 specific
 *   *
 *    *   *
 *     *
 *      *    * */
div.tableblock {
  margin-top: 1.0em;
  margin-bottom: 1.5em;
}
.userguide div.tableblock > table {
  border: 3px solid #527bbd;
}
.userguide thead,
.userguide p.table.header {
  font-weight: bold;
  color: #527bbd;
}
.userguide p.table {
  margin-top: 0;
}
.userguide /* Because the table frame attribute is overriden by CSS in most browsers. */
div.tableblock > table[frame="void"] {
  border-style: none;
}
.userguide div.tableblock > table[frame="hsides"] {
  border-left-style: none;
  border-right-style: none;
}
.userguide div.tableblock > table[frame="vsides"] {
  border-top-style: none;
  border-bottom-style: none;
}
.userguide /*
 *
 *  *  * html5 specific
 *   *
 *    *   *
 *     *
 *      *    * */
table.tableblock {
  margin-top: 1.0em;
  margin-bottom: 1.5em;
}
.userguide thead,
.userguide p.tableblock.header {
  font-weight: bold;
  color: #527bbd;
}
.userguide p.tableblock {
  margin-top: 0;
}
.userguide table.tableblock {
  border-width: 3px;
  border-spacing: 0px;
  border-style: solid;
  border-color: #527bbd;
  border-collapse: collapse;
}
.userguide th.tableblock,
.userguide td.tableblock {
  border-width: 1px;
  padding: 4px;
  border-style: solid;
  border-color: #527bbd;
}
.userguide table.tableblock.frame-topbot {
  border-left-style: hidden;
  border-right-style: hidden;
}
.userguide table.tableblock.frame-sides {
  border-top-style: hidden;
  border-bottom-style: hidden;
}
.userguide table.tableblock.frame-none {
  border-style: hidden;
}
.userguide th.tableblock.halign-left,
.userguide td.tableblock.halign-left {
  text-align: left;
}
.userguide th.tableblock.halign-center,
.userguide td.tableblock.halign-center {
  text-align: center;
}
.userguide th.tableblock.halign-right,
.userguide td.tableblock.halign-right {
  text-align: right;
}
.userguide th.tableblock.valign-top,
.userguide td.tableblock.valign-top {
  vertical-align: top;
}
.userguide th.tableblock.valign-middle,
.userguide td.tableblock.valign-middle {
  vertical-align: middle;
}
.userguide th.tableblock.valign-bottom,
.userguide td.tableblock.valign-bottom {
  vertical-align: bottom;
}
.userguide /*
 *
 *  *  * manpage specific
 *   *
 *    *   *
 *     *
 *      *    * */
body.manpage h1 {
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  border-top: 2px solid silver;
  border-bottom: 2px solid silver;
}
.userguide body.manpage h2 {
  border-style: none;
}
.userguide body.manpage div.sectionbody {
  margin-left: 3em;
}
.userguide @media print {
  body.manpage div#toc { display: none; }
}