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; }

.addition {
  color: blue; }

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

/* 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%; }