/* readthedocs theme tweaks */

/* Round the hover highlight around the sidebar logo link. */
.wy-side-nav-search > a {
  border-radius: 16px;
  display: inline-block;
  padding: 4px;
  transition: background 0.15s ease;
}

/* Terminal screenshots (e.g. the import sky map): match the rounded corners of
   the admonition / code "text boxes" (Material uses border-radius: .2rem). */
.skymap-figure {
  border-radius: 0.2rem;
}