/* thin layer on top of latex.css — just nav, footer, and a few showcase touches */

.site-nav {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: 2.5rem;
  padding-bottom: 0.75rem;
  border-bottom: 1px solid var(--border-color, #ddd);
}

.site-brand {
  font-weight: 700;
  text-decoration: none;
}

.site-nav nav {
  display: flex;
  flex-wrap: wrap;
  gap: 1.25rem;
}

.document-title {
  margin-bottom: 0.2rem;
}

/* intro paragraph styling (used if a page sets an abstract — no "Abstract" heading) */
.lead {
  font-size: 1.05em;
}

.author,
.date {
  margin: 0.1rem 0;
  color: var(--muted-text, #555);
}

/* a simple project listing for the landing page */
.project-list {
  list-style: none;
  padding-left: 0;
}

.project-list li {
  margin-bottom: 1.25rem;
}

.project-list .project-title {
  font-weight: 700;
}

.project-list .project-meta {
  color: var(--muted-text, #555);
  font-size: 0.9em;
}

.site-footer {
  margin-top: 4rem;
  font-size: 0.85em;
  color: var(--muted-text, #777);
}