/* First paint gutter. Content never waits for shell.js.
   Default unpinned = 56px rail. Pin (not hover) opens 224px. */
html, body {
  background: #1e1e24;
  color: #f5f5f7;
  margin: 0;
}
@media (min-width: 800px) {
  body {
    padding-left: 56px;
  }
  html.nav-pinned:not(.nav-closed) body {
    padding-left: 224px;
  }
  body::before {
    content: "";
    position: fixed;
    left: 0;
    top: 0;
    bottom: 0;
    width: 56px;
    background: #141418;
    border-right: 1px solid rgba(255, 255, 255, 0.08);
    z-index: 20;
    pointer-events: none;
  }
  html.nav-pinned:not(.nav-closed) body::before {
    width: 224px;
  }
}
@media (max-width: 799px) {
  body {
    padding-top: 3.25rem;
  }
  body::after {
    content: "";
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    height: 3.25rem;
    background: #141418;
    border-bottom: 1px solid rgba(255, 255, 255, 0.08);
    z-index: 20;
    pointer-events: none;
  }
}