/* Tables */
table td {
  vertical-align: top;
  border-right: 1px dotted #A0A0A0;
  border-top: 1px dotted #A0A0A0;
  padding: 0.3em; }

table {
  border: 1px solid #A0A0A0;
  border-spacing: 0; }

table tr th {
  background-color: #ededee; }

/**
 * Code.
 */
code {
  color: #222;
  background-color: #F5F5F5; }

pre {
  color: #222;
  background-color: #F5F5F5;
  padding: 1rem; }

pre > code {
  color: inherit;
  background-color: inherit; }

/**
 * Links.
 */
a {
  text-decoration: none; }

/**
 * Custom Bootstrap elements.
 */
#landing-page-cards .card {
  height: 100%; }

.navbar-brand img {
  margin-right: 0.2rem; }

.nav-link span {
  opacity: 0.7;
  margin-right: 0.1rem; }

#jumbotron a span {
  margin-right: 0.3rem; }

/* single */
main article {
  width: 100%;
  /* To prevent long lines of code pushing content over the edge of the visible viewport. */
  /* Ditto the above, but for images. */
  /* A poor-man's NOTE/admonition. */ }
  main article pre {
    white-space: break-spaces; }
  main article img {
    max-width: 100%; }
  main article blockquote {
    background-color: var(--bs-light);
    padding: 0.5rem 1rem 0.01rem 1rem;
    word-wrap: unset;
    text-wrap: unset;
    font-style: italic; }
  main article table {
    width: 100%;
    margin-bottom: 1rem; }
    main article table th {
      padding: 0.1rem 0.5rem; }

main aside {
  /* The top dropdown menu has the Bootstrap default z-index of 1000.
     * The sticky-top that we use in the aside element gets a z-index of
     * 1020 from Bootstrap, causing the menu to be under this sidebar.
     * This value fixes that.
     */
  z-index: 999 !important; }
  main aside.d-xl-flex {
    width: 17rem;
    border-left: 1px solid var(--bs-secondary-bg);
    overflow-y: scroll;
    max-height: 100vh; }
    main aside.d-xl-flex h2 {
      margin-left: 1rem;
      background-color: var(--bs-body-bg); }
    main aside.d-xl-flex nav ul {
      padding: 0 0 0 1rem; }
  main aside.d-xl-none {
    border-left: 1px solid var(--bs-secondary-bg);
    width: 100%; }
    main aside.d-xl-none nav ul {
      padding: 0 1rem; }
      main aside.d-xl-none nav ul li ul {
        padding: 0 0 0 1rem; }
  main aside nav {
    margin-top: 0.5rem; }
    main aside nav ul {
      list-style: none;
      margin: 0; }