@charset "UTF-8";

@media (prefers-color-scheme: light) {
  :root {
    --blockBackgroundColor: #c2beb9;
    --bodyBackgroundColor: #d7d5d1;
    --bodyForegroundColor: #2a2e2f;
    --codeBackgroundColor: #f8f8f8;
    --linkForegroundColor: #1c4253;
  }
}

@media (prefers-color-scheme: dark) {
  :root {
    --blockBackgroundColor: #1c1e1f;
    --bodyBackgroundColor: #131516;
    --bodyForegroundColor: #bcb7ae;
    --codeBackgroundColor: #272822;
    --linkForegroundColor: #00b3ff;
  }
}

html {
  background-color: var(--bodyBackgroundColor);
}

body {
  color: var(--bodyForegroundColor);
  line-height: 1.4;
  text-align: justify;
  width: 100%;
  font-family: Ubuntu, Arial, sans-serif;
  font-size: 12pt;
  margin: 0;
}

h1 {
  text-align: center;
}

small {
  font-size: 0.7em;
}

li p {
  margin: 0;
}

table {
  width: 100%;
}

nav.main {
  padding-bottom: 8px;
  border-bottom: double var(--bodyForegroundColor);
  text-align: center;
  font-family: Ubuntu, Sans-serif;
}

nav.main a,
nav.main a:visited {
  margin: 0 0.5em;
  font-size: 24px;
  text-decoration: none;
  color: var(--bodyForegroundColor);
}

nav.main .brand-name {
  text-align: center;
  display: block;
  font-weight: bold;
  font-size: 32px;
  color: var(--bodyForegroundColor);
  margin-bottom: 8px;
}

a,
a:visited {
  color: var(--linkForegroundColor);
}

code {
  padding: 2px;
  color: #0d0;
  overflow-wrap: break-word;
}

pre code {
  padding: 0;
  color: #F54927;
  overflow-wrap: break-word;
  font-style: italic;
  font-size: 10pt;
}

div.container {
  max-width: 900px;
  margin: 0 auto 0.5em auto;
  padding: 1em 2em 0 2em;
}

.center {
  text-align: center;
}