@charset "utf-8";

/* Variables */
:root {
    --text-color: #333;
    --background-color: #fff;
    --small: 16px;
}

/* Global Styles */
body {
    font-family: 'Vollkorn', serif;
    font-size: var(--small);
    color: var(--text-color);
    background: var(--background-color);
    margin: 0;
    padding: 0;
    line-height: 1.7;
}

/* Landing Page Specific */
body.landing {
    display: flex;
    flex-direction: column;
    height: 85vh;
    justify-content: center;
    align-items: center;
}

.landing-content {
    display: flex;
    flex-direction: column;
    justify-content: center;
    align-items: center;
    height: 100vh;
    text-align: center;
}

.logo-text {
    font-family: 'Vollkorn', serif;
    font-weight: 700; /* bold */
    font-size: 5rem;
    color: var(--text-color);
}

.logo-image {
    max-width: 250px;
    height: auto;
    display: block;
    margin-bottom: -50px;
}

.top-left-nav {
    position: absolute;
    top: 20px;
    left: 20px;
}

.top-left-nav ul {
    list-style: none;
    padding: 0;
    margin: 0;
}

.top-left-nav ul li {
    margin-bottom: -8px;
}

.top-left-nav ul li a {
    color: var(--text-color);
    text-decoration: none;
    font-weight: 500;
    font-size: 0.9rem;
}

.top-left-nav ul li a:hover {
    font-style: italic;
}

.bottom-nav ul {
    list-style: none;
    padding: 0;
    margin: 0;
    display: flex;
    gap: 25px;
    justify-content: center;
}

.bottom-nav ul li {
    margin-bottom: 0px;
}

.bottom-nav ul li a {
    font-family: 'Vollkorn', serif;
    font-weight: 500;
    font-size: 1.4rem;
    color: var(--text-color);
    text-decoration: none;
}

.bottom-nav ul li a:hover {
    font-style: italic;
}

.art-placeholder {
    font-size: 1.5rem;
    margin-bottom: 1rem;
}

.script-text {
    font-size: 1rem;
    color: #777;
    margin-top: 1rem;
}

/* Main Content Pages */
#mainCol {
    width: 750px;
    margin: 50px auto;
    padding: 0 20px;
}

h2 {
    font-size: 1.2rem;
    font-weight: 600;
    margin-top: -20px;
    margin-bottom: -15px;
    font-family: Georgia, 'Bitstream Vera Serif', serif;
}

.menu {
    margin-top: 50px;
    font-size: 0.85rem;
    text-align: center;
    font-family:'Vollkorn', serif;
}

.menu a {
    color: #666;
    text-decoration: none;
}

.menu a:hover {
    text-decoration: underline;
}

h3 {
    margin-top: 10px;
    margin-bottom: 5px;
    font-family: Georgia, 'Bitstream Vera Serif', serif;
}

p, ul {
    margin-top: 20px;
}

ul {
    padding-left: 20px;
    margin-bottom: 10px;
    margin-top: 10px;
}

a {
    color: var(--text-color);
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

footer {
    font-size: 0.8em;
    color: #aaa;
    text-align: center;
    margin: 50px 0;
}

.page {
    font-family: 'Vollkorn', serif;
    background: white;
    color: #333;
    margin: 0;
    padding: 40px;
    line-height: 1.8;;
}

.page-wrapper {
    max-width: 700px;
    margin: 0 auto;
}

h1 {
    font-size: 1.7rem;
    font-weight: 400;
    text-align: left;
    margin-bottom: -20px;
    font-family: Georgia, 'Bitstream Vera Serif', serif;
}

hr {
    border: none;
    height: 1px;
    background: black;
    margin: .1px 0 32px 0;
    margin-bottom: -5px;
}

.profile-section {
    display: flex;
    align-items: flex-start;
    flex-direction: column;
    gap: 20px;
    margin-bottom: 40px;
}

.profile-photo {
    width: 150px;
    height: auto;
    border-radius: 10px;
}

.bio-text {
    flex: 1;
    margin-bottom: -20px;
}

/* Bottom nav */
footer.bottom-nav {
    margin-top: 80px;
    font-size: 0.8rem;
    text-align: center;
}

footer.bottom-nav a {
    text-decoration: none;
    color: #666;
}

footer.bottom-nav a:hover {
    font-style: italic;
}

#contentContainer {
    font-family: 'Vollkorn', serif;
    font-size: 16px;
    line-height: 1.6;
    max-width: 640px;
    margin: 50px auto;
    padding: 0 20px;
    text-align: left;
    color: #333;
}

#infoContainer {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    align-items: center;
    margin: 20px 0 40px 0;
    font-size: 0.9rem
}

#infoContainer p {
    margin: 0;
}

.top-link {
    margin-bottom: 30px;
}

.top-link a {
    font-size: 0.9rem;
    text-decoration: none;
    color: #666;;
}

.top-link a:hover {
    text-decoration: underline;
}

section h2 {
    font-size: 1.4rem;
    font-weight: 600;
    margin-top: 40px;
    margin-bottom: 10px;
    font-family: Georgia, 'Bitstream Vera Serif', serif;
}

section p {
    font-size: 1rem;
    line-height: 1.6;
    margin-bottom: 30px;
}

section p a {
    font-family: 'Inter', sans-serif;
    font-size: 0.9rem;
    margin-left: 0px;
    color: #888;
    text-decoration: none;
}

/* Theorem and Proof Blocks */
.theorem, .proof {
    margin: 30px 0;
    padding: 12px 18px;
    border-left: 2px solid black;
    background-color: white;
    font-family: 'Vollkorn', serif;
}

.theorem .title, .proof .title {
    font-weight: 600;
    margin-bottom: 8px;
    cursor: pointer;
}

.proof .title::after {
    content: " ▼";
    font-size: 0.8em;
    margin-left: auto;
    transition: transform 0.2s;
}

.proof.collapsed .title::after {
    transform: rotate(90deg);
}

.proof .content {
    display: block;
}

.proof.collapsed .content {
    display: none;
}

/* Gray Date */
.gray-date {
    color: darkgray;
    font-size: 0.9rem;
}

.katex-title {
  font-family: Georgia, 'Bitstream Vera Serif', serif;
  font-size: 24px;
  font-weight: 500;
  margin-bottom: 0.5em;
  margin-top: 0.2em;
}

h2.katex-title {
  font-size: 24px;
  font-family: Georgia, 'Bitstream Vera Serif', serif;
  font-weight: 700;
  margin-bottom: 0.2em;
}

h3.katex-title {
  font-size: 16px;  /* or 17px if 16 feels too small */
  font-family: Georgia, 'Bitstream Vera Serif', serif;
  font-weight: 500;
  margin-top: 1em;
  margin-bottom: 0.2em;
}

.research-entry {
  display: flex;
  align-items: flex-start;
  gap: 1.5rem;
  margin: .5rem 0;
  /* border-top: 1px solid #ddd; */
  padding-top: 2rem;
}

.research-img {
  flex: 0 0 160px;
  margin-top: 0.25rem;
}

.research-img img {
  width: 100%;
  border-radius: 6px;
  box-shadow: 0 2px 6px rgba(0,0,0,0.05);
}

.research-text {
  flex: 1;
}

.research-text h3 {
  font-size: 1.15rem;
  font-weight: 600;
  margin-top: 0;
  margin-bottom: 0.5rem;
  font-family: Georgia, 'Bitstream Vera Serif', serif;
}

.research-text p {
  font-size: 1rem;
  margin-bottom: 1rem;
  line-height: 1.6;
}