html {
  font-family: 'Helvetica', sans-serif;
  background-color: #eeeeee;
  margin: 0;
  min-height: 100%;
  overflow-x: hidden;
  overflow-y: overlay;
  display: flex;
  justify-content: center;
}
body {
  background-color: white;
  max-width: 1100px;
  margin: 0;
  box-shadow: 0 0 30px #888;
  display: flex;
  /* Avoid horizontal overflow.
   * Default (min-width: auto) prevents body from shrinking overwide content. */
  min-width: 0;
}
h1, h2, h3, h4 { font-family: 'Nunito', sans-serif; }
aside header {
  background-color: #3399dd;
  color: white;
  margin: 0;
  margin-bottom: 1em;
  padding: 1.5em 2em;
}
header h1 {
  font-size: 3em;
  margin: 0;
}
header h1 a {
  display: flex;
  white-space: nowrap;
}
header #logo-text {
  flex-grow: 1;
}
header #logo {
  height: 1em;
  align-self: center;
  margin-left: 0.2em;
}
header h2 {
  opacity: 0.7;
  font-size: 1em;
  margin: 0;
}
header a, nav a {
  text-decoration: none;
  color: inherit;
}
aside {
  background-color: rgba(50, 150, 220, 0.1);
  flex: 0 0 250px;
}
nav {
  display: flex;
  flex-direction: column;
}
nav a {
  padding: 0.8em 1.5em;
  /* text ------- [icon] */
  display: flex;
  justify-content: space-between;
  align-items: center;
  /* use as a parent for absolute positioning */
  position: relative;
}
nav a.selected {
  background-color: rgba(50, 150, 220, 0.3);
}
nav a.folder::before {
  content: "►";
  color: #246;
  position: absolute;
  left: 0.2em;
}
nav a.folder.selected::before {
  content: "▼";
}
nav a:hover:not(.selected) {
  background-color: rgba(50, 150, 220, 0.1);
}
nav a .icon {
  /* icons should be vertically and horizontally centered. */
  display: inline-block;
  font-size: 180%;
  line-height: 1em;
  text-align: center;
  width: 1.2em;
  /* Get color emoji if we can */
  font-family: "Noto Color Emoji", "Apple Color Emoji", "Segoe UI Emoji", Times, Symbola, Aegyptus, Code2000, Code2001, Code2002, Musica, serif, LastResort;
  order: 1;
}
nav a.child {
  font-weight: 600;
  padding: 0.4em 0.5em;
  display: block;
  color: #246;
  border-left: 2em solid rgba(0,0,0,0.1);
}
main {
  padding: 0 4em;
  flex: 1 1 700px;
  /* Avoid horizontal overflow.
   * Default (min-width: auto) prevents main from shrinking overwide content. */
  min-width: 0;
  line-height: 150%;
  position: relative;
}
main img {
  max-width: 100%;
}
main h1, main h2 {
  color: rgb(0, 0, 128);
  border-bottom: 1px solid #def;
}
main h3 {
  color: rgb(64, 64, 64);
}
hr {
  border: none;
  height: 1px;
  background-color: rgba(0, 0, 0, 0.2);
  width: 100%;
}
details {
  background-color: rgba(50, 150, 220, 0.08);
  margin-bottom: 0.5em;
  padding: 0 1em;
  overflow-y: hidden; /* Suppress margin-collapsing */
}
details[open] {
  border-bottom: 1px solid rgba(0, 0, 128, 0.2);
  margin-bottom: 1em;
}
details summary {
  font-weight: bold;
  background-color: rgba(50, 150, 220, 0.1);
  border-color: rgba(0, 0, 128, 0.2);
  border-width: 1px;
  border-style: solid none;
  padding: 0.2em;
  margin: 0 -1em;
}
details summary:hover {
  background-color: rgba(50, 150, 220, 0.2);
  cursor: pointer;
}
pre > code {
  display: block;
  overflow-x: auto;
  padding-left: 1em;
}
code {
  background-color: #ffe;
  border: 1px solid #feb;
  padding: 5px 1px;
}
a[href^="https://code.woboq.org/"] {
  font-family: monospace;
}

.tip {
  color: #00796b;
}

/* Version marker ornaments */
.v6::before, .v7::before, .v8::before, .v9::before, .v10::before, .v11::before, .v12::before,
.v13::before, .v14::before, .v15::before, .v16::before, .v17::before, .v18::before, .v19::before {
  color: #008;
  border-radius: 3px;
  padding: 0.2em 0.6em;
  font-family: sans-serif;
  font-weight: 500;
  background-color: rgba(0, 128, 255, 0.2);
  float: right;
  line-height: 1.5em;
  text-align: center;
  font-size: x-small;
}
.v6::before { content: "clangd-6"; }
.v7::before { content: "clangd-7"; }
.v8::before { content: "clangd-8"; }
.v9::before { content: "clangd-9"; }
.v10::before { content: "clangd-10"; }
.v11::before { content: "clangd-11"; }
.v12::before { content: "clangd-12"; }
.v13::before { content: "clangd-13"; }
.v14::before { content: "clangd-14"; }
.v15::before { content: "clangd-15"; }
.v16::before { content: "clangd-16"; }
.v17::before { content: "clangd-17"; }
.v18::before { content: "clangd-18"; }
.v19::before { content: "clangd-19"; }
#edit {
  text-decoration: none;
  position: absolute;
  top: 1em;
  right: 4em;
}

/* Heading anchors (added by JS) */
main h1, main h2, main h3, main h4 {
  overflow-x: clip;
  position: relative;
}
.anchor-link {
  opacity: 50%;
  margin-left: 0.25em;
  color: #666;
  text-decoration: none;
  position: absolute;
}
:hover > .anchor-link { opacity: 100%; }
.anchor-link span {
  font-size: 60%;
  display: none;
  white-space: nowrap;
  vertical-align: top;
}
.anchor-link:hover span { display: initial; }

.main-article {
  text-align: center;
  font-style: italic;
  background-color: rgba(0,0,0,0.05);
  padding: 0.3em 0;
  margin: -0.5em 0;
  text-decoration: none;
}
.main-article::before {
  content: "→ Main article: ";
}

/* Mini layout, for phones */
@media (max-width: 600px) {
  body {
    flex-direction: column;
    max-width: 100%;
  }
  main { padding: 0 1em; }
  #edit { right: 1em; }
  aside {
    font-size: 80%;
    flex: 0 1 auto;
  }
  aside header {
    margin-bottom: 0;
    padding: 1em;
  }
  aside header h2 {
    display: none;
  }
  nav {
    flex-direction: row;
    flex-wrap: wrap;
  }
  /* [Icon] Text ---- */
  nav a {
    padding: 0.8em 1em;
    margin: 0;
    flex-direction: row;
    white-space: nowrap;
    justify-content: left;
    flex: 1 1 0;
    min-width: 115px;
  }
  nav a .icon {
    margin-right: 0.1em;
    order: -1;
  }
  nav hr {
    margin: 0;
  }
  /* Folders/children are not shown in mini layout */
  nav a.folder::before { content: none ! important; }
  nav a.child { display: none; }
  pre { white-space: pre-wrap; }
  code { overflow-wrap: break-word; }
}