@font-face {
  font-family: "Berkeley Mono";
  src: url("BerkeleyMono-Regular.woff2") format("woff2"),
    url("BerkeleyMono-Regular.woff") format("woff");
  font-weight: 400;
  font-style: normal;
}

@font-face {
  font-family: "Berkeley Mono";
  src: url("BerkeleyMono-Bold.woff2") format("woff2"),
    url("BerkeleyMono-Bold.woff") format("woff");
  font-weight: 700;
  font-style: normal;
}

@font-face {
  font-family: "Berkeley Mono";
  src: url("BerkeleyMono-Italic.woff2") format("woff2"),
    url("BerkeleyMono-Italic.woff") format("woff");
  font-weight: 400;
  font-style: italic;
}

@font-face {
  font-family: "Berkeley Mono";
  src: url("BerkeleyMono-BoldItalic.woff2") format("woff2"),
    url("BerkeleyMono-BoldItalic.woff") format("woff");
  font-weight: 700;
  font-style: italic;
}

:root {
  --base03: #002b36;
  --base02: #073642;
  --base01: #586e75;
  --base00: #657b83;
  --base0: #839496;
  --base1: #93a1a1;
  --base2: #eee8d5;
  --base3: #fdf6e3;

  --yellow: #b58900;
  --orange: #cb4b16;
  --red: #dc322f;
  --magenta: #d33682;
  --violet: #6c71c4;
  --blue: #268bd2;
  --cyan: #2aa198;
  --green: #859900;

  --background: var(--base3);
  --highlighted-background: var(--base2);
  --color: var(--base00);
  --highlighted-color: var(--base01);
  --border-color: rgba(0, 0, 0, 0.1);
}

body {
  font-family: Baskerville, "Times New Roman", serif;
  font-size: 1.2rem;

  background-color: var(--background);
  color: var(--color);
  margin: 0;
  padding: 0;
}

code {
  font-family: "Berkeley Mono", monospace;
  font-size: 0.9rem;
}

/* Only apply to code blocks that are not contained in a pre tag. */
:not(pre) > code {
  font-family: "Berkeley Mono", monospace;
  font-size: 0.9rem;
  color: var(--highlighted-color);
  background-color: var(--highlighted-background);
  padding: 0.1rem 0.2rem;
  border-radius: 0.2rem;
}

a {
  color: var(--color);
  text-decoration: underline;
}

li {
  padding: 0.5rem;
}

.container {
  max-width: 800px;
  margin: 0 auto;
  padding: 0 1rem;
}

.top-bar {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  padding: 1rem 0;
}

.header {
  flex: 1;
  padding: 1rem 0;
}

.menu {
  flex: 2;
  display: flex;
  align-items: center;
  justify-content: space-between;

  /* Remove bullet points from inner list. */
  list-style: none;
}

.footer {
  /* Move to the bottom of the page or after the content. */
  flex: 1 0 auto;
  padding: 1rem 0;

  /* Center the content. */
  text-align: center;

  /* Make text slightly lighter. */
  color: var(--highlighted-color);
}

.pagination {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 1rem 0;
}

/* Always display the next page on the right. */
.pagination .next {
  margin-left: auto;
}

pre {
  line-height: 125%;
  white-space: pre-wrap;
  padding: 1rem;
}

.footnote-definition p {
  display: inline;
}

.rc-scout {
  display: block;
  padding: 0;
  border: 0;
  margin: 0;
}

.rc-scout__text {
  display: block;
  padding: 0;
  border: 0;
  margin: 0;
  height: 100%;
  font-size: 100%;
}

.rc-scout__logo {
  display: inline-block;
  padding: 0;
  border: 0;
  margin: 0;
  width: 0.85em;
  height: 0.85em;
  background: no-repeat center url('data:image/svg+xml;utf8,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20viewBox%3D%220%200%2012%2015%22%3E%3Crect%20x%3D%220%22%20y%3D%220%22%20width%3D%2212%22%20height%3D%2210%22%20fill%3D%22%23000%22%3E%3C%2Frect%3E%3Crect%20x%3D%221%22%20y%3D%221%22%20width%3D%2210%22%20height%3D%228%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%222%22%20y%3D%222%22%20width%3D%228%22%20height%3D%226%22%20fill%3D%22%23000%22%3E%3C%2Frect%3E%3Crect%20x%3D%222%22%20y%3D%223%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%233dc06c%22%3E%3C%2Frect%3E%3Crect%20x%3D%224%22%20y%3D%223%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%233dc06c%22%3E%3C%2Frect%3E%3Crect%20x%3D%226%22%20y%3D%223%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%233dc06c%22%3E%3C%2Frect%3E%3Crect%20x%3D%223%22%20y%3D%225%22%20width%3D%222%22%20height%3D%221%22%20fill%3D%22%233dc06c%22%3E%3C%2Frect%3E%3Crect%20x%3D%226%22%20y%3D%225%22%20width%3D%222%22%20height%3D%221%22%20fill%3D%22%233dc06c%22%3E%3C%2Frect%3E%3Crect%20x%3D%224%22%20y%3D%229%22%20width%3D%224%22%20height%3D%223%22%20fill%3D%22%23000%22%3E%3C%2Frect%3E%3Crect%20x%3D%221%22%20y%3D%2211%22%20width%3D%2210%22%20height%3D%224%22%20fill%3D%22%23000%22%3E%3C%2Frect%3E%3Crect%20x%3D%220%22%20y%3D%2212%22%20width%3D%2212%22%20height%3D%223%22%20fill%3D%22%23000%22%3E%3C%2Frect%3E%3Crect%20x%3D%222%22%20y%3D%2213%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%223%22%20y%3D%2212%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%224%22%20y%3D%2213%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%225%22%20y%3D%2212%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%226%22%20y%3D%2213%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%227%22%20y%3D%2212%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%228%22%20y%3D%2213%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3Crect%20x%3D%229%22%20y%3D%2212%22%20width%3D%221%22%20height%3D%221%22%20fill%3D%22%23fff%22%3E%3C%2Frect%3E%3C%2Fsvg%3E');
}

.rc-scout__link:link, .rc-scout__link:visited {
  color: #3dc06c;
  text-decoration: underline;
}

.rc-scout__link:hover, .rc-scout__link:active {
  color: #4e8b1d;
}