/* simple jump nav, since four articles benefit from quick anchor links */
  .toc {
    display: flex;
    gap: 4px;
    flex-wrap: wrap;
    margin: 0 0 40px;
    padding: 10px 0;
    list-style: none;
    border-top: 1px solid var(--border-lt);
    border-bottom: 1px solid var(--border-lt);
  }
  .toc li a {
    display: inline-block;
    padding: 5px 11px;
    border-radius: var(--radius);
    color: var(--text-2);
    text-decoration: none;
    font-size: 13px;
    font-family: var(--mono);
  }
  .toc li a:hover { background: var(--surface-2); color: var(--text); }
 
 .justify {
	 text-align: justify;
 }
 
  article.section {
    margin: 0 0 44px;
    padding-bottom: 44px;
    border-bottom: 1px solid var(--border-lt);
    scroll-margin-top: 20px;
  }
  article.section:last-child {
    border-bottom: none;
    padding-bottom: 0;
  }
  article.section h2 {
    font-size: 18px;
    font-weight: 600;
    margin: 0 0 16px;
  }
  article.section p {
    color: var(--text);
    margin: 0 0 14px;
    max-width: 720px;
  }
  article.section p.placeholder {
    color: var(--text-3);
    font-style: italic;
  }
  article.section p:last-child { margin-bottom: 0; }