/* Variables */
:root {
  --block-bg: #eeeeec;
  --fade-fg: #888a85;
  --link-fg: #436e58;
  --text-fg: #2e3436;
}

/* Default font and layout */
html {
  box-sizing: border-box;
  color: var(--text-fg);
  max-width: 36rem;
  margin: auto;
  padding: 1rem;
}

/* Keep minimum font size to the usual default of 16px */
@media (min-width: 800px) {
  html {
    font-size: min(23px, 2vw);
    margin-left: auto;
    margin-right: auto;
  }
}

.franklin-content .row { display: block }

.franklin-content .left {
  float: left;
  margin-right: 1rem;
}

.franklin-content .right { float: right }

.franklin-content .container img {
  width: auto;
  padding-left: 0;
}

.franklin-content .footnote {
  position: relative;
  top: -0.5em;
  font-size: 70%;
}

/* Foot/copyright */
.franklin-content .page-foot a {
  text-decoration: none;
  color: var(--fade-fg);
  text-decoration: underline;
}

.page-foot {
  font-size: 80%;
  color: var(--fade-fg);
  margin: 3rem 0;
}

/* Text geometry */
.franklin-content p {
  hyphens: auto;
  line-height: 1.4rem;
  text-align: justify;
}

/* Titles */
.franklin-content h1 {
  padding-bottom: 0.5em;
  border-bottom: 3px double lightgrey;
  margin-top: 2em;
}

.franklin-content h2 {
  padding-bottom: 0.3em;
  border-bottom: 1px solid lightgrey;
  margin-top: 2em;
}

.franklin-content h1 a,
.franklin-content h2 a,
.franklin-content h3 a,
.franklin-content h4 a,
.franklin-content h5 a,
.franklin-content h6 a {
  color: var(--text-fg);
}

.franklin-content h1 a:hover,
.franklin-content h2 a:hover,
.franklin-content h3 a:hover,
.franklin-content h4 a:hover,
.franklin-content h5 a:hover,
.franklin-content h6 a:hover {
  text-decoration: none;
}

.franklin-content table {
  margin-left: auto;
  margin-right: auto;
  border-collapse: collapse;
  text-align: center;
}

.franklin-toc ol ol {
  list-style-type: lower-alpha;
}

.franklin-content th,
td {
  font-size: 75%;
  padding: 10px;
  border: 1px solid black;
}

.franklin-content blockquote {
  background: var(--block-bg);
  border-left: 0.25rem solid var(--fade-fg);
  font-style: italic;
  margin: 0;
  padding: 0.5em 10px;
}

.franklin-content blockquote p { display: inline }

/* General formatting */
/* Spacing between bullet points. */
.franklin-content li p {
  margin: 10px 0;
}

.franklin-content a {
  color: var(--link-fg);
  text-decoration: none;
}

.franklin-content a:hover {
  text-decoration: underline;
 }

/* Hyperrefs and footnotes */
.franklin-content .eqref a { color: green; }
.franklin-content .bibref a { color: green; }

.franklin-content sup {
  font-size: 70%;
  vertical-align: super;
}

.franklin-content table.fndef {
  margin: 0;
  margin-bottom: 10px;
}

.franklin-content .fndef tr,
td {
  padding: 0;
  border: 0;
  text-align: left;
}

.franklin-content .fndef tr {
  border-left: 2px solid lightgray;
}

.franklin-content .fndef td.fndef-backref {
  vertical-align: top;
  font-size: 70%;
  padding-left: 5px;
}

.franklin-content .fndef td.fndef-content {
  font-size: 80%;
  padding-left: 10px;
  width: 100%;
}

/* Images */
.franklin-content img {
  width: 100%;
}

.franklin-content .img-small img {
  width: 50%;
  text-align: center;
  padding-left: 20%;
}

/* KaTeX */
body { counter-reset: eqnum; }
.katex { font-size: 1em !important; }

.katex-display .katex {
  /* Overwrite KaTeX settings. */
  display: inline-block;

  /* Allow display equations to wrap on small screens. */
  white-space: normal;
}

/*
 * No numbering, for now
 * .katex-display::after {
 *   counter-increment: eqnum;
 *   content: "(" counter(eqnum) ")";
 *   position: relative;
 *   float: right;
 *   padding-right: 5px;
 * }
 */

/* Code highlight */
code, .hljs {
  background-color: var(--block-bg);
  padding: 0.1em 0.2em;
  font-size: inherit;
}

.hljs-meta {
  color: var(--link-fg);
  font-weight: bold;
}

/* Boxes */
.colbox-blue {
  background-color: #729fcf42;
  padding: 0.1rem 0.5rem;
  border-left: 0.25rem solid #3465e4;
}

/* Header */
header {
  margin: 2rem -0.5rem;
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  align-items: center;
}

header a {
  border-bottom: solid;
  color: var(--link-fg);
  font-weight: bold;
  margin: 0 0.5rem;
  text-decoration: none;
  transition: color 0.3s ease;
}
header a:hover { color: var(--text-fg) }

nav, nav li { display: inline-block }
nav ul { margin: 0 }

/* Table */
table {
  line-height: 1em;
  margin-left: auto;
  margin-right: auto;
  border-collapse: collapse;
  text-align: center;
  margin-bottom: 1.5em;
}

tr, th, td, table tbody tr td { border: 0.1rem solid var(--fade-fg) }
tr, th, td { padding: 0.69rem }
tr:first-of-type { background: var(--block-bg); }
tr:first-of-type > th { text-align: center }