@font-face {
  font-family: "DejaVu Sans";
  font-style: normal;
  font-weight: normal;
  src: local(DejaVu Sans), local(DejaVuSans),
  url("../fonts/DejaVuLGCSans.woff2") format("woff2");
}
@font-face {
  font-family: "DejaVu Sans";
  font-style: normal;
  font-weight: bold;
  src: local(DejaVu Sans Bold), local(DejaVuSans-Bold),
  url("../fonts/DejaVuLGCSans-Bold.woff2") format("woff2");
}
@font-face {
  font-family: "DejaVu Sans";
  font-style: italic;
  font-weight: bold;
  src: local(DejaVu Sans Bold Oblique), local(DejaVuSans-BoldOblique),
  url("../fonts/DejaVuLGCSans-BoldOblique.woff2") format("woff2");
}
@font-face {
  font-family: "DejaVu Sans";
  font-style: italic;
  font-weight: normal;
  src: local(DejaVu Sans Oblique), local(DejaVuSans-Oblique),
  url("../fonts/DejaVuLGCSans-Oblique.woff2") format("woff2");
}

@font-face {
  font-family: "DejaVu Serif";
  font-style: normal;
  font-weight: normal;
  src: local(DejaVu Serif), local(DejaVuSerif),
  url("../fonts/DejaVuLGCSerif.woff2") format("woff2");
}
@font-face {
  font-family: "DejaVu Serif";
  font-style: normal;
  font-weight: bold;
  src: local(DejaVu Serif Bold), local(DejaVuSerif-Bold),
  url("../fonts/DejaVuLGCSerif-Bold.woff2") format("woff2");
}
@font-face {
  font-family: "DejaVu Serif";
  font-style: italic;
  font-weight: bold;
  src: local(DejaVu Serif Bold Italic), local(DejaVuSerif-BoldItalic),
  url("../fonts/DejaVuLGCSerif-BoldItalic.woff2") format("woff2");
}
@font-face {
  font-family: "DejaVu Serif";
  font-style: italic;
  font-weight: normal;
  src: local(DejaVu Serif Italic), local(DejaVuSerif-Italic),
  url("../fonts/DejaVuLGCSerif-Italic.woff2") format("woff2");
}

:root {
  --serif-font: "DejaVu Serif", "Times New Roman", serif;
  --sans-font: "DejaVu Sans", Verdana, "Trebuchet MS", Helvetica, Arial, sans-serif;
  --text-color: #222222;
}

* {
  box-sizing: border-box;
}

body {
  color: var(--text-color);
  font-family: var(--serif-font), serif;
  margin: 0 1ch 0 4ch;
  max-width: 80ch;
  padding: 0 1rem;
  counter-reset: figure example;
}

h1 a:any-link, h2 a:any-link, h3 a:any-link, i a:any-link { color: var(--text-color)}

i {
  display: inline-block;
  font-style: normal;
  letter-spacing: -1px;
  margin-left: -6.5ch;
  padding-right: 0.5ch;
  text-align: right;
  width: 6ch;
}

@media screen {
  i a::before {
    content: '⚓︎ ';
    visibility: hidden;
  }

  i a:hover::before {
    visibility: visible;
  }
}

p {
  position: relative;
}

h1 {
  font-size: 1.25em;
}

h2 {
  font-size: 1.125em;
}

h3 {
  font-size: 1.0625em;
}

table {
  width: 100%;
  border-collapse: collapse;
  margin: 0;
  padding: 0;
}

td {
  border: solid 1pt black;
  vertical-align: top;
}

header, #references, .annex {
  border-bottom: solid 1px black;
  padding-bottom: 1lh;
}

article[id^="cpt_"] h3 {
  font-weight: normal;
}

article[id^="cpt_"] > hgroup, article[id^="anx_"] > hgroup  {
  text-transform: uppercase;
}

figure {
  counter-increment: figure;
  text-align: center;
}

figure img {
  max-width: 90%;
}

figcaption {
  margin-top: 1em;
}

figcaption::before {
  content: "Figure " counter(figure) ": ";
}

.example, figcaption {
  font-style: italic;
}

section.example {
  counter-increment: example;
  margin-bottom: 1em;
}

section.example p {
  margin-bottom: 0.5em;
}

section.example::before {
  content: "Example " counter(example) ": ";
  float: left;
  margin-right: 0.5rem;
}

.xref:any-link {
  font-style: italic;
}

#recitals i {
  font-size: 85%;
  margin-top: 0.125rem;
  padding-right: 0;
}

.lettered-subsection {
  margin-left: 2.635ch;
}

.lettered-subsection i {
  font-size: 90%;
}

.footnote {
  font-size: 80%;
  line-height: 0;
  text-decoration: none;
}

.signatories {
  margin-left: 40%;
  font-style: italic;
  text-align: center;
}

.signatory {
  font-style: normal;
  text-transform: uppercase;
}

#references {
  font-size: 80%;
}

.annex h3 {
  font-style: normal;
  font-weight: bold;
}

.preamble > p:first-child, .post-preamble {
  text-transform: uppercase;
}

#inside-front {
  display: none;
}

#toc a:any-link {
  color: var(--text-color);
  text-decoration: none;
}

#toc ol, #toc ol ol {
  counter-reset: index;
  list-style-type: none;
}

#toc ol {
  margin: 0;
  padding: 0;
}

#toc ol ol {
  padding-left: 1em;
}

#toc li {
  text-indent: 2em hanging;
}

#toc.numbered li::before {
  counter-increment: index;
  content: counters(index, ".", decimal) " ";
}

#toc > ol > li {
  margin-top: 0.25em;
  padding-left: 0;
}

#toc > ol > li:first-of-type {
  margin-top: 0;
}

#colophon { display: none; }

.amended {
  background-color: #fdfdf0;
}

.inserted {
  background-color: #f0fdf0;
}