:root {
  --table-border-style: 1px solid #000000;
}

.highlight {
    background-color: #FCFAEE;
}

.admonition .icon {
    float: left;
    font-size: 200%;
    font-weight: bold;
}

.admonition .body {
    margin-left: 3em;
}

.admonition .body .title {
    font-weight: bold;
}

.formalobject-wrapper .figure {
    margin-top: 0;
}

.formalobject-wrapper .title {
    text-align: center;
    font-weight: bold;
}

/* Copied bits and pieces from docbook.css */

table {
  table-layout: fixed;
  border-spacing: 0;
  border-collapse: collapse;
}

.pgwide table {
    width: 100%;
}

td, th {
  padding: 0.25em;
  text-align: left;
}

td.bottom,
th.bottom {
  vertical-align: bottom;
}

td.middle,
th.middle {
  vertical-align: middle;
}

td.top,
th.top {
  vertical-align: top;
}

td.center,
th.center {
  text-align: center;
}

td.left,
th.left {
  text-align: left;
}

td.right,
th.right {
  text-align: right;
}

td.justify,
th.justify {
  text-align: justify;
}

td.btop,
th.btop {
  border-top: var(--table-border-style);
}

td.bleft,
th.bleft {
  border-left: var(--table-border-style);
}

td.colsep,
th.colsep {
  border-right: var(--table-border-style);
}

td.rowsep,
th.rowsep {
  border-bottom: var(--table-border-style);
}

td.char,
th.char {
  font-family: monospace;
  text-align: right;
}