body {
    background-color: #fff;
    color: #333;
    font-family: sans-serif;
    line-height: 1.6;
    margin: 0 auto;
    padding: 0;
}

.header_content, .content {
    background-color: #fff;
    max-width: 800px;
    /*text-align: justify;*/
    margin: 0 auto;
    /*padding: 0;*/
    padding-bottom: 0em;
    padding-top: 0em;
    text-align: center;
    padding-left: 1em;
    padding-right: 1em;
}

.header_content h1 {
    text-align: center;
}

.header_content p {
    margin: 0;
    padding: 0;
}

.content {
    text-align: justify;
    /*padding: 1em;*/
}

blockquote {
    background-color: #aaa;
    padding-left: 1em;
    padding-right: 1em;
    margin: 1em;
}

h1, h2, h3 {
    /*color: #0056b3;*/
    /*color: #005add;*/
    background-clip: text;
    background-image: linear-gradient(to left, #005add, #ff007f);
    background-color: black;
    color: transparent;
    /*color: white;*/
    font-weight: normal;
    text-align: right;
}

h1.title {
    /*color: #0056b3;*/
    background-clip: text;
    background-image: linear-gradient(to left, #005add, #ff007f);
    color: transparent;
    font-weight: bold;
    /*text-align: left;*/
}

/* KaTeX specific styling - this is usually handled by katex.min.css but can be overridden */
.katex-display {
    margin-top: 1em;
    margin-bottom: 1em;
    text-align: center;
}

.site_nav {
    /*background-color: #0056b3;*/
    background: linear-gradient(to left, #005add, #ff007f);
    color: #ccc;
    font-size: 2em;
    text-align: center;
    padding: 1em;
}

.site_nav_content {
    color: #fff;
    font-weight: 900;
    margin: 0 auto;
    max-width: 800px;
}

.site_nav a {
    color: #fff;
    font-weight: 900;
    text-decoration: none;
    padding-left: 0.33em;
    padding-right: 0.33em;
    /*text-shadow: 4px 4px 0px black;*/
}

.site_nav a:hover, .site_nav  a:focus {
    
}

.footer {
    /*background-color: #0056b3;*/
    color: #999;
    text-align: center;
    margin: 0 auto;
    padding: 1em;
    padding-bottom: 2em;
}

.footer_content {
    font-weight: 100;
    margin: 0 auto;
    padding: 0;
    /*margin-top: 2em;*/
    max-width: 800px;
    /*height: 400px;*/
}

.footer a {
    color: #666;
    font-weight: 900;
    /*text-decoration: none;*/
    padding-left: 0.33em;
    padding-right: 0.33em;
}

.content a, .content a:visited {
    color: #005add;
    text-decoration: none;
}

.content a:hover, .content  a:focus {
    color: #ff007f;
}

.katex {
    color: #ff007f;
}

span:has(.mord.amsrm) {
  align-items: baseline; /* Aligns the symbol nicely with the text baseline */
  display: flex;
  float: right;
}

/* table of contents */
.toc-container {
  border: 1px solid #a6a6a6;
  border-radius: 5px;
  cursor: pointer;
  padding: 1em;
  margin-bottom: 1.5em;
  margin-top: 2em;
  background-color: #f6f6f6;
  padding-left: 2em;
  padding-right: 2em;
}

.toc-container summary {
  cursor: pointer;
  font-weight: bold;
  padding: 1em 0;
}

/* Style the default dropdown arrow (optional) */
.toc-container summary::marker {
  color: #333;
}

.toc-container summary:hover {
  color: #0056b3;
}

hr.no-toc {
    margin-top: 2em;
    margin-bottom: 2em;
}