/* reportlog.org additions on top of the template stylesheet.
   Everything above this file is the shared ReportLog template: theme terminal,
   palette phosphor, layout sheet. Only site-specific pieces belong here. */

.log_sidebar a{
  color:var(--color--brand-primary);
  text-decoration:none;
  border-bottom:1px dotted var(--color--border);
}
.log_sidebar a:hover{color:var(--color--brand-secondary)}

/* documentation contents list in the sidebar */
.docs_toc{margin:0 0 1.75rem}
.docs_toc a{
  display:block;
  padding:.4rem 0;
  font-size:12.5px;
  line-height:1.35;
  letter-spacing:.03em;
  color:var(--color--text-alt);
  text-decoration:none;
  border:none;
  border-bottom:1px dotted var(--color--border);
}
.docs_toc a:hover,.docs_toc a:focus-visible{color:var(--color--brand-primary)}
.docs_toc a:last-child{border-bottom:none}

/* the current page in the top navigation */
.navbar_menu a[aria-current="page"]{color:var(--color--brand-primary)}

/* an anchored section should not sit under the fixed header */
.log_item[id]{scroll-margin-top:5rem}