/* ==================================================================
    VARIABLES
================================================================== */

:root {
  --block-background: hsl(0, 0%, 94%);
  --output-background: hsl(0, 0%, 98%);
  --small: 14px;
  --normal: 19px;
  --text-color: #141414;
}

/* ==================================================================
    DEFAULT FONT AND LAYOUT
================================================================== */

@font-face {
    font-display: swap;
    font-family: 'Computer Modern Serif';
    src: url('../assets/cms/cmunrm.eot');
    src: url('../assets/cms/cmunrm.eot?#iefix') format('embedded-opentype'),
         url('../assets/cms/cmunrm.woff') format('woff'),
         url('../assets/cms/cmunrm.ttf') format('truetype'),
         url('../assets/cms/cmunrm.svg#cmunrm') format('svg');
    font-weight: normal;
    font-style: normal;
}


@font-face {
    font-display: swap;
    font-family: 'Computer Modern Serif';
    src: url('../assets/cms/cmunbx.eot');
    src: url('../assets/cms/cmunbx.eot?#iefix') format('embedded-opentype'),
         url('../assets/cms/cmunbx.woff') format('woff'),
         url('../assets/cms/cmunbx.ttf') format('truetype'),
         url('../assets/cms/cmunbx.svg#cmunbx') format('svg');
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-display: swap;
    font-family: 'Computer Modern Serif';
    src: url('../assets/cms/cmunti.eot');
    src: url('../assets/cms/cmunti.eot?#iefix') format('embedded-opentype'),
         url('../assets/cms/cmunti.woff') format('woff'),
         url('../assets/cms/cmunti.ttf') format('truetype'),
         url('../assets/cms/cmunti.svg#cmunti') format('svg');
    font-weight: normal;
    font-style: italic;
}


@font-face {
    font-display: swap;
    font-family: 'Computer Modern Serif';
    src: url('../assets/cms/cmunbi.eot');
    src: url('../assets/cms/cmunbi.eot?#iefix') format('embedded-opentype'),
         url('../assets/cms/cmunbi.woff') format('woff'),
         url('../assets/cms/cmunbi.ttf') format('truetype'),
         url('../assets/cms/cmunbi.svg#cmunbi') format('svg');
    font-weight: bold;
    font-style: italic;
}

html {
  font-family: "Computer Modern Serif", serif;
  font-size: var(--normal);
  color: var(--text-color);
}

body {
  max-width: 1400px;
}

html, body {
    height: 100%;
}

html {
    display: table;
    margin: auto;
}

body {
    display: table-cell;
    /*vertical-align: middle;*/
}

/*body {
  background-color: rgb(250,250,250);
}*/

/* ==================================================================
    BASIC GRID FOR PROFILE PIC
================================================================== */

/*
.franklin-content .row {
  display: block;
}

.franklin-content .left {
  float: left;
  margin-right: 15px;
}

.franklin-content .right {
  float: right;
}

.franklin-content .container img {
  width: auto;
  padding-left: 0;
  border-radius: 10px;
}

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

/* ==================================================================
    FOOT / COPYRIGHT
================================================================== */

.franklin-content .page-foot a {
  text-decoration: none;
  color: #eeeeee;/*#a6a2a0;*/
  text-decoration: underline;
}

.page-foot {
  font-size: 80%;
  font-family: Arial, serif;
  color: #eeeeee;/*#a6a2a0;*/
  text-align: center;
  margin-top: 6em;
  border-top: 1px solid lightgrey;
  padding-top: 2em;
  margin-bottom: 4em;
}

/* ==================================================================
    TEXT GEOMETRY
================================================================== */

.franklin-toc li {
  /* Avoid clickable elements being too close together. */
  margin: 0.6rem 0;
}

.franklin-content {
  position: relative;
  padding-left: 2%;
  padding-right: 2%;
  line-height: 1.35em;
}

/* On wide screens, fix content width to a max value. */
@media (min-width: 1000px) {
  .franklin-content {
    width: 760px;
    margin-left: auto;
    margin-right: auto;
  }
}

/* On tablet/laptop, use fluid width with comfortable padding. */
@media (min-width: 481px) and (max-width: 999px) {
  .franklin-content {
    padding-left: 6%;
    padding-right: 6%;
  }
}

/* On narrow device, reduce margins. */
@media (max-width: 480px) {
  .franklin-content {
    padding-left: 4%;
    padding-right: 4%;
  }
}

/* ==================================================================
    TITLES
================================================================== */

.franklin-content h1 { font-size: 22px; }
.franklin-content h2 { font-size: 20px; }
.franklin-content h3 { font-size: 18px; }
.franklin-content h4 { font-size: 17px; }
.franklin-content h5 { font-size: 16px; }
.franklin-content h6 { font-size: 1em; }

.franklin-content h1,
h2,
h3,
h4,
h5,
h6 {
  text-align: left;
}

.franklin-content h1 {
  padding-bottom: 0.5em;
  border-bottom: 3px double lightgrey;
  margin-top: 1.5em;
  margin-bottom: 1em;
}

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

.franklin-content h3 {
  margin-top: 1.5em;
  margin-bottom: 0.75em;
}

.franklin-content h4 {
  margin-top: 1.35em;
  margin-bottom: 0.65em;
}

.franklin-content h5 {
  margin-top: 1.25em;
  margin-bottom: 0.5em;
}

.franklin-content h6 {
  margin-top: 1.25em;
  margin-bottom: 0.5em;
}

.franklin-content h1 a { color: inherit; }
.franklin-content h1 a:hover { text-decoration: none; }
.franklin-content h2 a { color: inherit; }
.franklin-content h2 a:hover { text-decoration: none; }
.franklin-content h3 a { color: inherit; }
.franklin-content h3 a:hover { text-decoration: none; }
.franklin-content h4 a { color: inherit; }
.franklin-content h4 a:hover { text-decoration: none; }
.franklin-content h5 a { color: inherit; }
.franklin-content h5 a:hover { text-decoration: none; }
.franklin-content h6 a { color: inherit; }
.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: var(--small);
  padding: 10px;
  border: 1px solid black;
}

.franklin-content blockquote {
  background: var(--block-background);
  border-left: 4px solid #a8a8a8;
  margin: 1.5em 10px;
  padding: 0.5em 10px;
  font-style: italic;
}

.franklin-content blockquote p {
  display: inline;
}

/* ==================================================================
    GENERAL FORMATTING
================================================================== */

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

.franklin-content a {
  color: #555555;/*#004de6;*/
  text-decoration: none;
}

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

/* ==================================================================
    HYPERREFS AND FOOTNOTES
================================================================== */

.franklin-content .eqref a { color: #555555; }
.franklin-content .bibref a { color: #696969; }

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

.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 in CONTENT
================================================================== */

/* Prevent images from overflowing on small screens. */
.franklin-content img {
  max-width: 100%;
  height: auto;
  display: block;
  margin-left: auto;
  margin-right: auto;
}

/*
.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;
}

.katex-display::after {
  counter-increment: eqnum;
  content: "(" counter(eqnum) ")";
  position: relative;
  float: right;
  padding-right: 1px;
}

.nonumber .katex-display::after {
  counter-increment: nothing;
  content: "";
}

/* ==================================================================
    CODE & HIGHLIGHT.JS
================================================================== */

code {
  background-color: var(--block-background);
  padding: 0.1em 0.2em;
  border-radius: 2px;
  font-size: var(--small);
}

/* .franklin-content code { */

/* background-color: rgba(27,31,35,0.05); */

/* padding: 0.1em 0.2em; */

/* border-radius: 2px; */

/* font-size: 90%; } */

.hljs {
  font-size: var(--small);
  line-height: 1.35em;
  border-radius: 10px;
}

.hljs-meta { font-weight: bold;}

.hljs-meta.shell_ {color: crimson;}
.hljs-meta.prompt_ {color: rgb(25, 179, 51);}

.code-output {
  background: var(--output-background);
  border: 1px dashed #dbdbdb;
}

/* ==================================================================
    BOXES
================================================================== */

.franklin-content .colbox-blue {
  background-color: #eeeeee; /*#eef3f5;*/
  padding-top: 5px;
  padding-right: 10px;
  padding-left: 10px;
  padding-bottom: 5px;
  margin-left: 5px;
  margin-top: 5px;
  margin-bottom: 5px;
  border-radius: 0 10px 10px 0;
  border-left: 5px solid #4c9cf1;
}

.important {
  background-color: #f8f8f8;
  padding: 0.5em;
  margin-bottom: 1em;
}

.def {
  background-color: #eeeeee;
  padding: 0.5em;
  margin-bottom: 1em;
}

.thm {
  background-color: #eeeeee;
  padding: 0.5em;
  margin-bottom: 1em;
}

.main-heading {
  text-align: left;
  font-size: 20px;
  font-weight: bold;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: #333333;
  padding: 0 0 0.45em 0;
  margin-top: 0.6em;
  margin-bottom: 1.3em;
  border-bottom: 1px solid lightgrey;
}

.proof{
    display:block;
    margin-left:20px;
    margin-bottom:30px;
    font-style:normal;
    font-size: 0.9em;
}
.proof:before{
    content:'Proof.\00a0\00a0';
    float:left;
    font-style: italic;
}
/*.proof:after{
    content:"\25A1";
    float:right;
}*/

.proofsk{
    display:block;
    margin-left:20px;
    margin-bottom:30px;
    font-style:normal;
}
.proofsk:before{
    content:'Proof sketch.\00a0\00a0';
    float:left;
    font-style: italic;
}
.proofsk:after{
    content:"\25A1";
    float:right;
}

.blog-entry {
  font-size: 1.1em;
  font-weight: bold;
  margin-top: 2em;
}
.blog-entry:before {
  content: "\2022\00a0\00a0";
  float: left;
}

.blog-desc {
  margin-left: 1.45em;
  margin-top: 0.5em;
}

figure {
    display: inline-block;
    /*border: 1px dotted gray;*/
    text-align: center;
    margin: 10px; /* adjust as needed */
}
figure img {
    vertical-align: top;
}
figure figcaption {
    /*border: 1px dotted blue;*/
    font-size: 0.9em;
}

.centered {        
  display:block;
  margin-left:auto;
  margin-right:auto;
}