/* custom.css */

/* Theme overrides: https://bootswatch.com/sandstone/ */

body {
  font-size: 1.00rem;
}

.sandstone, .navbar .nav-link, .btn, .nav-tabs .nav-link, .nav-pills .nav-link, .breadcrumb, .pagination, .dropdown-menu .dropdown-item, .tooltip {
  font-size: 14px;
  line-height: 28px;
}

.navbar-brand {
  font-size: 1.5rem;
}

/* End Theme overrides */

table.comprehensions-2020-12-26 td {
  padding: 10px 0 10px 0;
}

h1, h2, h3 {
  margin-top: 20px;
}

/* Syntax highlighting code block */
div.brush\: {
  background-color: #fefbf6;
  border: 2px solid #ece9e4;
  padding: 7px 0 0 0;
}

table.prog-plan-2009 {
  border: 2px solid #333;
}

table.prog-plan-2009 th, table.prog-plan-2009 td {
  border: 2px solid #777;
  padding: 5px 10px 5px 10px;
}

div.footnotes {
  font-size: 0.8em;
}

a.footnote-link {
  font-size: 0.9em;
}

p.frog-note {
  font-size: 14px;
}

p.copyright-notice {
  font-size: 16px;
}

footer {
  margin-top: 50px;
}

code {
    color: black;
}

article {
  margin-top: 30px;
  margin-bottom: 60px;
}

/* When highlighted code blocks are too wide, they wrap. Resulting in the */
/* line numbers column's rows not lining up with the code rows. Prevent */
/* wrapping. */
pre {
    white-space: pre;
    width: inherit;
}

article img {
  /* Make sure that images within blog articles never take more width
     than the article width; `height: auto` ensures the height is also
     resized proportionally.

     This is useful given that Markdown itself gives you little
     control over image resizing, and in particular no way to achieve
     this "best fit" behavior.
 */
  max-width: 100%;
  height: auto;
}