html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, output, ruby, section, summary,
time, mark, audio, video {
  margin: 0;
  padding: 0; }

html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  border: 0;
  font-size: 100%; }

html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, tt, var,
b, u, i, center,
dl, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  vertical-align: baseline; }

html, body, div, span, applet, object, iframe,
p, blockquote,
a, abbr, acronym, address, big, cite,
del, dfn, em, img, ins, q, s,
small, strike, strong, sub, sup, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  font-family: {{bodyfont}}; }

code, pre, tt, kbd, samp {
  font-family: {{monospacefont}};
  font-variant-ligatures: none; }

code *, pre *, tt *, kbd *, samp * {
  font-family: {{monospacefont}} !important;
  font-variant-ligatures: none; }

p code, dt code, li code, label code, legend code, caption code, th code, td code,
p tt, dt tt, li tt, label tt, legend tt, caption tt, th tt, td tt,
p kbd, dt kbd, li kbd, label kbd, legend kbd, caption kbd, th kbd, td kbd,
p samp, dt samp, li samp, label samp, legend samp, caption samp, th samp, td samp {
  font-size: {{monospacefontsize}}; }

article, aside, details, figcaption, figure,
footer, header, hgroup, menu, nav, section {
  display: block; }

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

h1, h2, h3, h4, h5, h6 {
  font-family: {{headerfont}}; }

.h1, .h2, .h3, .h4, .h5, .h6 {
  font-family: {{headerfont}}; }

blockquote, q {
  quotes: none; }
  blockquote::before, blockquote::after, q::before, q::after {
    content: '';
    content: none; }

.h2Annex {
  font-family: {{headerfont}}; }

dl {
  display: grid;
  grid-template-columns: max-content auto; }
  dl dt p, dl dd p {
    margin-top: 0; }
  dl dt {
    grid-column-start: 1; }
  dl dd {
    grid-column-start: 2; }

b, strong {
  font-weight: bold; }

div.document-stage-band, div.document-type-band {
  background-color: #333333; }

a.FootnoteRef + a.FootnoteRef::before {
  content: ", ";
  vertical-align: super; }

a.TableFootnoteRef + a.TableFootnoteRef::before {
  content: ", ";
  vertical-align: super; }

a.TableFootnoteRef, span.TableFootnoteRef,
a.FootnoteRef, span.FootnoteRef {
  vertical-align: super; }

.addition {
  color: blue; }

.deletion {
  color: red;
  text-decoration: line-through; }

ruby {
  ruby-position: over;
  -webkit-ruby-position: before; }

ruby ruby {
  ruby-position: under;
  -webkit-ruby-position: after; }

/* code highlighting with line numbers */
table.rouge-line-table td.rouge-gutter {
  -moz-user-select: none;
  -ms-user-select: none;
  -webkit-user-select: none;
  user-select: none;
  padding-right: 1em; }

table.rouge-line-table td.rouge-code {
  -moz-user-select: all;
  -ms-user-select: all;
  -webkit-user-select: all;
  user-select: all; }

table.rouge-line-table,
table.rouge-line-table th,
table.rouge-line-table td {
  width: auto;
  border: none;
  margin: 0;
  padding: 0;
  font-size: 100%; }

table.rouge-line-table pre {
  margin: 0;
  padding: 0;
  overflow-x: visible;
  font-size: 100%; }

a.header {
  color: inherit;
  text-decoration: none; }

a.header:hover {
  color: #a53221; }

a.header:visited {
  color: inherit;
  text-decoration: none; }

a.anchor {
  position: absolute;
  z-index: 1001;
  width: 1.5ex;
  margin-left: -1.5ex;
  display: block;
  text-decoration: none !important;
  visibility: hidden;
  text-align: center;
  font-weight: 400; }

a.anchor::before {
  content: "\00A7";
  font-size: .85em;
  display: block;
  padding-top: .1em; }

h1 > a.anchor:hover,
h2 > a.anchor:hover,
h3 > a.anchor:hover,
h4 > a.anchor:hover,
h5 > a.anchor:hover,
h6 > a.anchor:hover,
.inline-header > a.anchor:hover,
h1:hover > a.anchor,
h2:hover > a.anchor,
h3:hover > a.anchor,
h4:hover > a.anchor,
h5:hover > a.anchor,
h6:hover > a.anchor,
.inline-header:hover > a.anchor {
  visibility: visible; }