.qed::before
{
  content: "\220E";
  float: right;
}

#headerbar {
  position: absolute;
  left: 0;
  right: 0;
  margin-left: auto;
  margin-right: auto;
  margin-top: -1em;
  padding: 5pt 5pt 5pt 15pt;
}

#headerbar a {
  margin-right: 1em;
}

#headerbar a:not(:hover):not(:active) {
  color: unset;
}

#headerbar a svg {
  margin-right: 0.3em;
}

body {
  color: #444;
  font-family: Palatino, "Palatino Linotype", "Palatino LT STD", "Book Antiqua", Georgia, serif;
  font-size: 12px;
  line-height: 1.25;
  padding: 1em;
  margin: auto;
  max-width: 45em;
  background: #fefefe;

  text-align: justify;
  -webkit-hyphens: auto;
    -moz-hyphens: auto;
  hyphens: auto;
}

td:first-child:not(:only-child) {
  width: 1px;
  white-space: nowrap;
}

td code {
  display: inline-block;
  white-space: nowrap;
}

a {
  color: #0645ad;
  text-decoration: none;
}

a:visited {
  color: #5600a7;
}

a:hover {
  color: #06e;
}

a:active {
  color: #faa700;
}

a:focus {
  outline: thin dotted;
}

p {
  margin: 1em 0;
}

.diagram {
  width: 100%;
  text-align: center;
}

.diagram p {
  display: inline-block;
}

.diagram img {
  width: 100%;
  margin: -10px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: #111;
  line-height: 125%;
  margin-top: 1em;
  font-weight: bold;
}

h5,
h6 {
  font-weight: bold;
}

h1.title {
  font-size: 3em;
}

h1 {
  font-size: 2em;
}

h2 {
  font-size: 1.65em;
}

h3 {
  font-size: 1.35em;
}

h4 {
  font-size: 1.2em;
}

h5 {
  font-size: 1em;
}

h6 {
  font-size: 0.9em;
}

hr {
  display: block;
  height: 0px;
  border: 0;
  border-top: 1px solid rgb(160, 160, 160);
  margin: 1em 0;
  padding: 0;
  transform: scale(1.02, 1);
}

.header-section-number {
  margin-right: 0.25em;
}

pre,
kbd,
samp {
  color: #000;
  background: #e2e2e2;
  border-radius: 3px;
  padding: 2pt 4pt 2pt 4pt;
  font-family: monospace, monospace;
  font-size: 0.85em;
}

code {
  color: #000;
  background: #e2e2e2;
  border-radius: 3px;
  padding: 2pt 4pt 2pt 4pt;
  font-family: monospace, monospace;
  font-size: 0.85em;
}

pre code {
  padding: 0;
  font-size: 1em;
}

pre {
  white-space: pre;
  white-space: pre-wrap;
  word-wrap: break-word;
}

b,
strong {
  font-weight: bold;
}

ul,
ol {
  margin: 1em 0;
  padding: 0 0 0 2em;
}

li p:last-child {
  margin-bottom: 0;
}

#TOC li {
  margin-bottom: 0;
}

ol li {
  padding-left: 0.2em;
}

ul ul,
ol ol {
  margin: .3em 0;
}

img {
  border: 0;
  -ms-interpolation-mode: bicubic;
  vertical-align: middle;
}

figure {
  display: block;
  text-align: center;
  margin: 1em 0;
}

figure img {
  border: none;
  margin: 0 auto;
}

figcaption {
  font-size: 0.8em;
  font-style: italic;
  margin: 0 0 .8em;
}

table {
  margin-bottom: 2em;
  border-bottom: 1px solid #ddd;
  border-right: 1px solid #ddd;
  border-spacing: 0;
  border-collapse: collapse;
  min-width: 100%; 
}

table th {
  padding: .2em 0.5em;
  background-color: #eee;
  border-top: 1px solid #ddd;
  border-left: 1px solid #ddd;
}

table td {
  padding: .2em 1em;
  border-top: 1px solid #ddd;
  border-left: 1px solid #ddd;
  vertical-align: top;
}

.author {
  font-size: 1.2em;
  text-align: center;
}

@media only screen and (min-width: 480px) {
  body {
      font-size: 14px;
  }
}

@media only screen and (min-width: 768px) {
  body {
      font-size: 16px;
  }
}

@media print {
  * {
      background: transparent !important;
      color: black !important;
      filter: none !important;
      -ms-filter: none !important;
  }

  #headerbar {
    display: none;
  }

  body {
      font-size: 12pt;
      max-width: 100%;
  }
  a,
  a:visited {
      text-decoration: none;
  }
  hr {
      height: 1px;
      border: 0;
      border-bottom: 1px solid black;
  }
  a[href]:after {
      content: " (" attr(href) ")";
  }
  abbr[title]:after {
      content: " (" attr(title) ")";
  }
  .ir a:after,
  a[href^="javascript:"]:after,
  a[href^="#"]:after {
      content: "";
  }
  pre,
  blockquote {
      border: 1px solid #999;
      padding-right: 1em;
      page-break-inside: avoid;
  }
  tr,
  img {
      page-break-inside: avoid;
  }
  img {
      max-width: 100% !important;
  }
  @page :left {
      margin: 15mm 20mm 15mm 10mm;
  }
  @page :right {
      margin: 15mm 10mm 15mm 20mm;
  }
  p,
  h2,
  h3 {
      orphans: 3;
      widows: 3;
  }
  h2,
  h3 {
      page-break-after: avoid;
  }
}