body {
  font-family: "Libre Baskerville", serif;
  font-size: 12pt;
}

code {
  font-family: "Roboto Mono", monospace;
}

h1 {
  color: #1f386b;
  /*border-top: 3px solid;
  border-bottom: 3px solid;
  border-color: #1f386b;*/
  margin-top: 1em;
}

a {
  color: #1f386b;
}

a:visited{
  color: #1f386b;
}

table {
  border-collapse: collapse;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  margin: 32px auto;
}

th {
  border-bottom: 1px solid black;
  text-align: left;
}

th, td {
  padding: 4px 8px;
}

tr:nth-child(even) {
  background: #eee;
}

#content {
  margin: 0 auto;
  max-width: 48em;
}

#pageTitle {
  margin-top: 1em;
  margin-bottom: 0.5em;
  text-align: center;
  font-size: 160%;
  font-weight: bold;
  background-color: #90bbde;
  border: 2px solid #1f386b;
  border-radius: 1em;
  padding-top: .5em;
  padding-bottom: .5em;
}

#navbar_container {
  margin: 0 auto;
  max-width: fit-content;
}

#navbar {
  list-style-type: none;
  margin: 0;
  padding: 0;
  font-size: 0; /* gets rid of annoying inferred whitespace between items */
}

/*
#navbar li span.csf {
  color: red;
}
*/

span.csf {
  color: #1f386b;
  font-weight: bold;
}

#navbar li, span.csf {
  font-size: 12pt;  /* because #navbar specified font-size: 0; */
  display: inline;
  padding: 0;
  border: 0;
  margin: 0;
  text-align: center;
  vertical-align: middle;
}

#navbar li a, span.csf {
  display: inline-block;
  text-decoration: none;
  margin: 0;
  border: 0;
  padding: 1em;
}

#navbar li a {
  min-width: 5em;
}

#navbar li a:hover {
  text-decoration: underline;
}

#navbar li:nth-child(even) a {
  background: #ddd;
}

#navbar li:nth-child(odd) a {
  background: #eee;
}

#navbar li.active a {
  background: #1f386b;
  color: white;
}

#logo {
  margin: 2em 0 0 0;
  float: right;
}

#logo::after {
  content: "";
  clear: both;
  display: block;
}

#headerSep {
  height: 2px;
  border-width: 0;
  color: #1f386b;
  background-color: #1f386b;
}

div.highlighter-rouge, div.shell {
  font-family: "Roboto Mono", monospace;
  margin-left: 2em;
  margin-right: 2em;
  background-color: #eee;
  border: 1px solid #ccc;
  padding: 0 1em;
  border-radius: .25em;
  overflow: auto;
}

/* Styling for lines in shell examples */
div.shell pre span.line::before {
  content: '$ ';
}

div.shell pre span.line span.inner {
  font-weight: bold;
}

code.highlighter-rouge, .admonition p code {
  border: 1px solid #ccc;
  background-color: #eee;
  padding: 0 .25em;
  border-radius: .25em;
}

#footer {
  margin-bottom: 2em;
}

.tentative {
  color: gray;
  font-style: italic;
}

.content-image img {
  max-width: 100%;
}

.centered {
  text-align: center;
}

dd {
  margin-bottom: 0.5em;
}

/***********************************************************************
   Admonition styling
 ***********************************************************************/

/* general styling (for all admonitions) */

div.admonition {
  border-radius: 1em;
  padding: 0.5em;
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  margin-left: 2em;
  margin-right: 2em;
}

div.admonition div.title {
  /*padding-top: 0.4em;*/
  border-bottom: 1pt solid;
  font-size: 120%;
}

div.admonition div.title:before {
  font-size: 150%;
}

div.admonition div.title, div.admonition div.content {
  margin-left: 1em;
  /*width: 80%;*/
}

/* Note styling */

div.note {
  background: #eee;
  border: 2px solid #666;
}

div.note div.title {
  color: #666;
}

div.note div.title:before {
  content: "ℹ️ ";
}

/* Tip/Success styling */

div.tip, div.success {
  background: #d8ffd8;
  border: 2px solid #161;
}

div.tip div.title, div.success div.title {
  color: #161;
}

div.tip div.title:before, div.success div.title:before {
  content: "💡 ";
}

/* Info/exercise styling */

div.info, div.exercise {
  background: #e8e8ff;
  border: 2px solid #116;
}

div.info div.title, div.exercise div.title {
  color: #116;
}

div.info div.title:before {
  content: "ℹ️ ";
}

div.exercise div.title:before {
  content: "🚴 ";
}

/* Caution styling */

div.caution {
  background: #ffffd8;
  border: 2px solid #661;
}

div.caution div.title {
  color: #661;
}

div.caution div.title:before {
  content: "⚠️ ";
}

/* Danger styling */

div.danger {
  background: #ffd8d8;
  border: 2px solid #611;
}

div.danger div.title {
  color: #611;
}

div.danger div.title:before {
  content: "🔥 ";
}