@import url(reset.css);
@import url(typography.css);
@import url("https://fonts.googleapis.com/css2?family=PT+Mono&family=PT+Sans:ital,wght@0,400;0,700;1,400;1,700&family=PT+Serif:ital,wght@0,400;0,700;1,400;1,700&family=Public+Sans:ital,wght@0,100..900;1,100..900&display=swap");
@import url(docbook.css);
body {
  font-family: "PT Serif", serif;
  font-weight: normal;
  font-style: normal;
  font-size: 12pt;
  line-height: 165%; }

h2 {
  text-transform: uppercase;
  letter-spacing: 0.07em;
  font-family: "Public Sans", sans-serif;
  font-weight: normal;
  font-style: normal; }

article > header {
  font-family: "Public Sans";
  letter-spacing: 0.07em;
  font-weight: normal; }
  article > header h1 {
    font-family: "PT Serif", serif;
    font-size: 2.5rem; }
  article > header p.subtitle {
    font-size: 2.0rem; }
  article > header p.releaseinfo, article > header p.pubdate, article > header p.authors, article > header p.copyright {
    font-size: 0.9rem;
    text-transform: uppercase; }
  article > header div.legalnotice {
    font-size: 11pt;
    line-height: 1.1rem; }

section.footnotes {
  font-size: 0.9rem; }

div.admonition h5 {
  font-family: 'PT Sans', sans-serif;
  font-weight: bold; }

div.warning, div.caution, div.important, div.note, div.tip, aside {
  font-family: "PT Serif", serif;
  font-weight: 400;
  font-size: 11pt;
  line-height: 1.4; }

h3, h4, h5, h6 {
  font-family: "PT Serif", serif; }

h1, h3, h4 {
  font-weight: bold; }

h1 {
  font-size: 1.5em; }

h2 {
  font-size: 1.0em; }

h3 {
  font-size: 1.1em; }

h4 {
  font-size: inherit; }

h5 {
  font-size: inherit;
  font-weight: normal;
  text-transform: uppercase;
  letter-spacing: 0.07em; }

h6 {
  font-size: inherit;
  font-weight: normal;
  font-style: italic;
  display: inline; }

pre, kbd, code, span.literal, span.constant, span.userinput, tt {
  font-family: "PT Mono", monospace;
  font-weight: normal;
  font-style: normal;
  font-size: inherit; }

div.caption {
  font-family: inherit; }

table {
  font-family: inherit;
  font-weight: inherit; }

caption, tbody, tr, td {
  font-weight: inherit; }

caption, figcaption, div.caption {
  font-family: "PT Serif", serif;
  font-size: 11pt;
  line-height: 1.2; }

figcaption::before {
  font-family: "PT Sans"; }

figcaption p.title {
  font-family: "PT Sans";
  display: inline; }

header.main {
  font-family: "Public Sans", sans-serif;
  font-size: 10pt; }

footer.main {
  font-family: "Public Sans", sans-serif;
  font-size: 9pt; }

article.resume h2 {
  font-family: "Public Sans", sans-serif; }

section.footnotes {
  font-size: 11pt; }

* {
  -webkit-text-size-adjust: none; }

html {
  height: 100%; }

body {
  height: 100%;
  color: #222222; }

h1 {
  color: black; }

h2 {
  color: #f5693e; }

h3 {
  color: black; }

h4 {
  color: black; }

h5 {
  color: black; }

div#container {
  max-width: 840px;
  margin-left: auto;
  margin-right: auto;
  min-height: 100%;
  display: flex;
  flex-direction: column; }

header.main > nav {
  display: flex;
  text-transform: uppercase; }

header.main {
  color: #7a7a7a;
  padding: 0.7rem 0 0.7rem 0;
  background-color: white;
  border-bottom: 1px #7a7a7a solid; }
  header.main a.selected {
    font-weight: bold; }
  header.main a:link, header.main a:visited, header.main a:hover {
    color: #7a7a7a; }
  header.main a:hover {
    color: #f5693e;
    text-decoration: none; }

header.main, footer.main {
  display: flex;
  align-items: center;
  justify-content: space-between; }

header.main, footer.main, main {
  width: 100%; }

main {
  margin: 2rem auto 2rem auto;
  flex: 1; }

footer.main {
  color: #7a7a7a;
  margin-bottom: 1rem;
  line-height: 140%;
  flex-flow: row nowrap; }

span#logo-text {
  font-size: 20px;
  text-transform: uppercase;
  font-weight: 400;
  letter-spacing: 0.2em; }

article.excerpt {
  margin-top: 3em;
  margin-bottom: 0; }

article.excerpt * {
  margin: 0;
  padding: 0; }

article.excerpt > div * {
  display: inline; }

article.excerpt q {
  font-style: italic; }

article.excerpt > div p::after {
  content: '\00B6';
  color: #7a7a7a; }

@media screen and (max-width: 500px) {
  div#container {
    padding-left: 1rem;
    padding-right: 1rem; }
  header.main {
    flex-flow: column wrap; }
  header.main > nav {
    flex-flow: column;
    align-content: center; }
  header.main a {
    text-align: center; } }

@media screen and (min-width: 501px) {
  div#container {
    padding-left: 3rem;
    padding-right: 3rem; }
  header.main > nav a:not(:first-child) {
    padding-left: 30px; }
  header.main {
    flex-flow: row wrap; } }

div.license img {
  padding-right: 4px;
  padding-left: 4px;
  vertical-align: middle; }

div.social > a {
  margin-left: 1em; }

main.error {
  text-align: center;
  display: flex;
  flex-direction: column;
  justify-content: center; }

main.error h1 {
  font-size: 500%;
  font-weight: bold; }

ul.articles-toc {
  list-style: none;
  text-transform: uppercase;
  font-family: "Public Sans";
  padding: 0; }
  ul.articles-toc li {
    margin: 2em 0; }
    ul.articles-toc li span.title {
      font-weight: normal;
      font-size: larger;
      display: block; }
    ul.articles-toc li time {
      font-size: smaller;
      display: block; }