/*
=== Fromm `franklin.css` ===
*/

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

:root {
  --block-background: hsl(0, 0%, 94%);
  --output-background: hsl(0, 0%, 98%);
  --small: 14px;
  --normal: 19px;
  --text-color: hsv(0, 0%, 20%);
  tab-size: 4;
}

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

html {
  font-family: "Garamond", Times, serif;
  font-size: var(--normal);
  color: var(--text-color);
  min-height: 100%;
}

/* ==================================================================
    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: #a6a2a0;
  text-decoration: underline;
}

.page-foot {
  font-size: 80%;
  font-family: Arial, serif;
  color: #a6a2a0;
  text-align: center;
  margin-top: 6em;
  border-top: 1px solid silver;
  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: 12.5%;
  padding-right: 12.5%;
  line-height: 1.35em;
}

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

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

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

/*.franklin-content h1 { font-size: 24px; }*/
.franklin-content h3 { font-size: 20px; }

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

.franklin-content h1 {
  padding-bottom: 0.5em;
  border-bottom: 2px solid black;
  color: black;
}

.franklin-content h1 > a {
  color: black;
}

.franklin-content h2 {
  font-size: 30px; 
  padding-bottom: 0.3em;
  border-bottom: 1px solid gray;
  margin-top: 1.2em;
  margin-bottom: 1em;
  color = var(--midnight-chickory);
}

/*
.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: 7px 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: #454a79;*/
  /*color: #004de6;*/
  text-decoration: none;
  color: var(--midnight-chickory);
}

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

.franklin-content .eqref a { color: green; }
.franklin-content .bibref a { color: green; }

.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 silver;
}

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

.franklin-content img {
  width: 70%;
  text-align: center;
  padding-left: 10%;
  margin-bottom: 1em;
  margin-top: 1em;
}

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

/* ==================================================================
    KATEX
================================================================== */

main {
    min-height: 100%;
}

.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: 5px;
}

.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: #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;
}

/*
=== Fromm `jemdoc.css` ===
*/

@media (max-width: 750px) {
  .box {
    display: block;
  }

  .layout-menu {
    margin: 0;
    margin-top: 0rem;
    padding-left: 2em;
    padding-right: 2em;
  }
}

.box {
    min-height: 100%;
    position: absolute;
    left: 0;
    right: 0;
}

@media (min-width: 750px) {
  .box {
    display: flex;
    justify-content: center;
    margin: auto;
  }

  .layout-menu {
    margin-top: 0rem;
    margin-left: 1rem;
  }
}

head {
}

body {
    background: var(--background-color);
    margin: 0;
    min-height: 100%;
    counter-reset: eqnum;
}


#layout-menu {
  color = #ffffff,
  background: #f6f6f6;
  border: 1px solid #ddd;
  padding-top: 0.5em;
  padding-left: 15px;
  padding-right: 25px;
  font-size: 1em;
  width: auto;
  white-space: nowrap;
  text-align: left;
  vertical-align: top;
}

#layout-menu td {
  background: #f4f4f4;
  vertical-align: top;
}

#layout-content {
  padding-top: 0;
  padding-left: 1em;
  padding-right: 1em;
  border: none;
  background: white;
  text-align: left;
  vertical-align: top;
}

#layout-menu a {
  line-height: 1.5em;
  margin-left: 0.5em;
}

tt {
  background: #ffd;
}

pre,
tt {
  font-size: 14px;
  font-family: monaco, monospace;
}

#layout-menu a.current:link,
#layout-menu a.current:visited {
  color: #022b6d;
  border-bottom: 1px gray solid;
}

#layout-menu a:link,
#layout-menu a:visited,
#layout-menu a:hover {
  color: #527bbd;
  text-decoration: none;
}

#layout-menu a:hover {
  text-decoration: none;
}

#layout-menu .current > a {
  border-bottom: 1px gray solid;
}

div.menu-category {
  border-bottom: 1px solid gray;
  margin-top: 0.8rem;
  margin-bottom: 0.8em;
  padding-top: 0.2rem;
  padding-bottom: 0.2rem;
  font-weight: bold;
}

@media (max-width: 750px) {
    div.menu-category {
        margin-top: 0;
    }
}

div.menu-item {
  padding-left: 16px;
  text-indent: -16px;
}

div#toptitle {
  padding-bottom: 0.2em;
  margin-bottom: 1.5em;
  border-bottom: 3px double gray;
}

/* Reduce space if we begin the page with a title. */
div#toptitle + h2,
div#toptitle + h3 {
  margin-top: -0.7em;
}

div#subtitle {
  margin-top: 0;
  margin-bottom: 0;
  padding-top: 0;
  padding-bottom: 0.1em;
}

em {
  font-style: italic;
}

strong {
  font-weight: bold;
}

h1,
h2,
h3 {
  /*color: #527bbd;*/
  color: 454a79ff;
  margin-top: 0.7em;
  margin-bottom: 0.7em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  line-height: 1;
  border-bottom: 1px solid #aaa;
}

h1 {
  /*font-size: 250%;*/
  font-size: 2.5rem;
  margin-top: 1rem;
  padding-top: 1rem;
  padding-bottom: 1rem;
  margin-bottom: 1rem;
}

h2 {
  padding-top: 0.8em;
  font-size: 125%;
}

h2 + h3 {
  padding-top: 0.2em;
}

h3 {
  font-size: 110%;
  border-bottom: none;
}

p {
  margin-top: 0;
  margin-bottom: 0.8em;
  padding: 0;
  line-height: 1.3;
}

/* pre {
  padding: 0;
  margin: 0;
} */

div#footer {
  font-size: small;
  border-top: 1px solid #c0c0c0;
  padding-top: 0.1em;
  margin-top: 4em;
  color: #c0c0c0;
}

div#footer a {
  color: #80a0b0;
}

div#footer-text {
  float: left;
  padding-bottom: 8px;
}

ul,
ol,
dl {
  margin-top: 0.2em;
  padding-top: 0;
  margin-bottom: 0.8em;
}

dt {
  margin-top: 0.5em;
  margin-bottom: 0;
}

dl {
  margin-left: 20px;
}

dd {
  color: #222;
}

dd > *:first-child {
  margin-top: 0;
}

ul {
  list-style-position: outside;
  list-style-type: square;
}

p + ul,
p + ol {
  margin-top: -0.5em;
}

li ul,
li ol {
  margin-top: -0.3em;
}

ol {
  list-style-position: outside;
  list-style-type: decimal;
}

li p,
dd p {
  margin-bottom: 0.3em;
}

ol ol {
  list-style-type: lower-alpha;
}

ol ol ol {
  list-style-type: lower-roman;
}

p + div.codeblock {
  margin-top: -0.6em;
}

div.codeblock,
div.infoblock {
  margin-right: 0%;
  margin-top: 1.2em;
  margin-bottom: 1.3em;
}

div.blocktitle {
  font-weight: bold;
  color: #cd7b62;
  margin-top: 1.2em;
  margin-bottom: 0.1em;
}

div.blockcontent {
  border: 1px solid silver;
  padding: 0.3em 0.5em;
}

div.infoblock > div.blockcontent {
  background: #ffe;
}

div.blockcontent p + ul,
div.blockcontent p + ol {
  margin-top: 0.4em;
}

div.infoblock p {
  margin-bottom: 0;
}

div.infoblock li p,
div.infoblock dd p {
  margin-bottom: 0.5em;
}

div.infoblock p + p {
  margin-top: 0.8em;
}

div.codeblock > div.blockcontent {
  background: #f6f6f6;
}

span.pycommand {
  color: #000070;
}

span.statement {
  color: #080;
}

span.builtin {
  color: #008;
}

span.special {
  color: #900;
}

span.operator {
  color: #800;
}

span.error {
  color: #a00;
}

span.comment,
span.comment > *,
span.string,
span.string > * {
  color: #606060;
}

@media print {
  #layout-menu { display: none; }
}

#fwtitle {
  margin: 2px;
}

#fwtitle #toptitle {
  padding-left: 0.5em;
  margin-bottom: 0.5em;
}

#layout-content h1:first-child,
#layout-content h2:first-child,
#layout-content h3:first-child {
  margin-top: -0.7em;
}

div#toptitle h1,
#layout-content div#toptitle h1 {
  margin-bottom: 0;
  padding-bottom: 0.1em;
  padding-top: 0;
  margin-top: 0.5em;
  border-bottom: none;
}

img.eq {
  padding: 0;
  padding-left: 0.1em;
  padding-right: 0.1em;
  margin: 0;
}

img.eqwl {
  padding-left: 2em;
  padding-top: 0.6em;
  padding-bottom: 0.2em;
  margin: 0;
}

table {
  margin-left: auto;
  margin-right: auto;
  font-size: 14px;
  border: 2px solid black;
  border-collapse: collapse;
}

th,
td,
tr {
  padding: 10px;
  padding-left: 0.5em;
  padding-right: 0.5em;
  text-align: center;
  border: 1px solid gray;
}

table + table {
  margin-top: 1em;
}

tr.heading {
  font-weight: bold;
  border-bottom: 2px solid black;
}

img {
  border: none;
}

table.imgtable,
table.imgtable td {
  border: none;
  text-align: left;
}


/* Extra css file for personal jemdoc customizations. */

/* Copyright (C) Jacob Mattingley 2007. */

a:hover {
  border-bottom: 1px #305080 dotted;
}

div#toptitle {
  margin-bottom: 1.3em;
  border-bottom: 1px solid #c0c0c0;
}

h1,
h2,
h3 {
  border-bottom: 1px solid silver;
}

div#footer-text {
  padding-bottom: 0;
}

div.blocktitle {
  color: #203070;
}

div.blockcontent {
  border: 1px solid #c0c0c0;
}

div#footer-text {
  padding-bottom: 8px;
}

.franklin-content { padding-left: 6%; }

table {
  margin-bottom: 1em;
}

/*
=============================== CSS for Heavenly Weather  ===============================
*/

:root {
    --chickory: hsla(245, 35%, 60%, 1);
    --light-chickory: hsla(245, 30%, 80%, 1);
    --light-chickory-clear: hsla(245, 30%, 80%, 0);
    --mid-chickory: hsl(245, 40%, 80%);
    --midnight-chickory: hsla(245, 80%, 20%, 1);
    --midnight-chickory-clear: hsla(245, 80%, 20%, 0);
    --dark-floral: hsl(155, 40%, 20%);
    --light-floral: hsl(155, 20%, 70%);
    --lighter-floral: hsl(155, 35%, 85%);
    --background-color: var(--lighter-floral);
    --bar-color: silver;
}

a:hover {
    border-bottom: none;
}

.post-banner {
    border-left: solid 2px darkred;
    padding-left: 1rem;
    display: grid; /* ALlow grid positioning of children. */
    grid-template-columns: min-content auto;
    grid-template-rows: auto auto;
    row-gap: 0.5rem;
    column-gap: 1rem;
    margin-bottom: 2rem;
}

.post-banner h3 {
    grid-column: 1 / span 2;
    grid-row: 1 / span 1;
}

.post-banner h2, .post-banner h3 {
    margin-top: 0.3em;
    border-bottom: solid 0.5px var(--bar-color);
}

.post-banner img {
    grid-column: 1 / span 1;
    grid-row: 2 / span 1;
    width: 8rem;
    height: auto;
    padding-left: 0%;
    margin-left: 0.5rem;
    margin-top: 0;
    margin-bottom: 0;
}

.post-banner.with-image p:not(:nth-child(1):nth-child(2)) {
    grid-column: 2 / span 1;
    grid-row: 2 / span 1;
}

.post-banner p:not(:nth-child(1)) {
    grid-column: 1 / span 2;
    grid-row: 2 / span 1;
}

@media (max-width: 750px) {
    .post-banner {
        grid-template-columns: auto;
        grid-template-rows: auto auto auto;
    }
    .post-banner h3 {
        grid-column: 1 / span 1;
        grid-row: 1 / span 1;
    }
    .post-banner img {
    }
    .post-banner.with-image p:not(:nth-child(1):nth-child(2)) {
        grid-column: 1 / span 1;
        grid-row: 3 / span 1;
    }
    .post-banner p:not(:nth-child(1)) {
        grid-column: 1 / span 1;
        grid-row: 2 / span 1;
    }
}

.homepage-header {
    display: grid; /* ALlow grid positioning of children. */
    grid-template-columns: auto min-content;
    grid-template-rows: auto auto;
    grid-row-gap: 0.5rem;
    grid-column-gap: 5%;
    margin-bottom: 2rem;
    margin-top: 2rem;
    padding-bottom: 1rem;
    padding-left: 0rem;
    border-bottom: 2px solid black;
}

.homepage-header h1 {
    border-bottom: none;
    grid-column: 1 / span 1;
    grid-row: 1 / span 1;
    justify-self: left; /* Placement within the grid cell. */
    align-self: center; /* Placement within the grid cell. */
    margin: 0;
    padding: 0;
    font-size: 2.5rem;
}

.homepage-header p {
    grid-column: 1 / span 1;
    grid-row: 2 / span 1;
    justify-self: right; /* Placement within the grid cell. */
    margin: 0;
    padding: 0;
    text-align: right;
    font-size: 1rem;
}

@media (max-width: 750px) {
    .homepage-header p {
        /*justify-self: left;
        text-align: left;*/
        font-size: 0.6rem;
    }
}

.homepage-header .img-anchor {
    display: inline-block;
    grid-column: 2 / span 1;
    grid-row: 1 / span 2;
    margin: 0;
    padding: 0;
}

.homepage-header img {
    display: inline-block;
    padding: 0;
    height: 6rem;
    width: auto;
    margin: 0;
    padding: 0;
}

.layout-menu {
    min-height: 100%;
    flex: 0 0 14rem;
    padding: 1em;
    position: relative;
    z-index: 2;
}

.layout-menu a {
    color: var(--midnight-chickory);
}

.layout-menu-background {
    z-index: -1;
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
    background-image: url("Chickory_galaxy_526.png");
    background-repeat: no-repeat;
    background-color: var(--chickory);
    background-size: 100% auto;
    opacity: 25%;
}

@media (max-width: 750px) {
    .layout-menu-background {
        background-image: url("Chickory_galaxy_526_short.png");
        opacity: 35%;
        border-bottom: 3px groove black;
    }
}

a,
a > tt {
  text-decoration: none;
}

.franklin-content object {
    width: 100%;
    height: 60rem;
}