:root {
  --main-color: #c41230;
  --highlight-color: #ff1742;
}

* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

body {
    font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
    line-height: 1.6;
    color: #333;
    background-color: #f8f9fa;
}

main a {
  color: var(--main-color);
  text-decoration: none;
}
main a:hover {
  text-decoration: underline;
  color: var(--highlight-color);
}


/* Footer styles */
footer {
  background-color: #f8f9fa;
  margin-top: 3rem;
  padding: 2rem 0;
}

.pt-4 {
  padding-top: 1.5rem;
}

.pb-2 {
  padding-bottom: 0.5rem;
}

.row {
  display: flex;
  flex-wrap: wrap;
  margin: 0;
}

.justify-content-end {
  justify-content: flex-end;
}

.col-12 {
  flex: 0 0 100%;
  max-width: 100%;
}

.text-end {
  text-align: right;
}

footer img {
  max-height: 40px;
  margin-top: 1rem;
}

/* Person affiliations */
.person-affiliation {
    color: #666;
    font-size: 0.9rem;
    margin: 0;
    font-style: italic;
}

/* Clickable extension cards */
.extension-card-link {
    text-decoration: none;
    color: inherit;
    display: block;
}

.extension-card-link:hover {
    text-decoration: none;
    color: inherit;
}

.extension-card-link h3 {
    text-decoration: none;
    color: inherit;
}

/* Source code line */
.source-code-line {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  margin-bottom: 2rem; /* Add space after source code line */
  font-size: 1.1rem; /* Increased font size */
}

.source-code-line a {
  color: var(--main-color);
  text-decoration: none;
  font-weight: 500; /* Make the link slightly bolder */
}

.source-code-line a:hover {
  text-decoration: underline;
}

.code-icon {
  width: 18px; /* Slightly larger icon */
  height: 18px;
  color: var(--main-color);
}

/* Extensibility links */
.extensibility-link {
    color: var(--main-color);
    text-decoration: none;
}

.extensibility-link:hover {
    text-decoration: underline;
}

/* Metrics table */
.metrics-table {
    width: 100%;
    border-collapse: collapse;
    margin-bottom: 1rem;
}

.metrics-table td {
    padding: 0.5rem 1rem 0.5rem 0;
    vertical-align: top;
    border-bottom: 1px solid #eee;
}

.metrics-table td:first-child {
    width: 60%;
}

.metrics-table td:last-child {
    width: 40%;
}

/* Tooltip */
.tooltip {
    display: inline-block;
    width: 16px;
    height: 16px;
    background-color: var(--main-color);
    color: white;
    border-radius: 50%;
    text-align: center;
    font-size: 12px;
    line-height: 16px;
    cursor: help;
    margin-left: 0.25rem;
}

.container {
    max-width: 1200px;
    margin: 0 auto;
    padding: 0 20px;
}

header {
    background-color: var(--main-color);
    color: white;
    padding: 1rem 0;
    padding-bottom: 0.1rem;
    box-shadow: 0 2px 5px rgba(0,0,0,0.1);
}

nav ul {
    list-style: none;
    display: flex;
    gap: 2rem;
}

nav a {
    color: white;
    text-decoration: none;
    font-weight: 500;
    padding: 0.5rem 1rem;
    border-radius: 4px;
    transition: background-color 0.3s ease;
}

nav a:hover {
    background-color: rgba(255,255,255,0.1);
}

nav a.active {
    background-color: #ff1742;
}

main {
    padding: 3rem 0;
    padding-bottom: 0rem;
}

h1, h2, h3 {
    margin-bottom: 1.5rem;
    font-weight: 500;
}

h1 {
    font-size: 2.5rem;
    color: #2c3e50;
    font-weight: bold;
}

h2 {
    font-size: 2rem;
    color: #34495e;
    border-bottom: 1px solid #ccc;
}

h3 {
    font-size: 1.5rem;
    color: #34495e;
}

h3 a {
    text-decoration: none;
    color: inherit;
}

h3 a:hover {
    text-decoration: underline;
}

p {
    margin-bottom: 1.5rem;
    font-size: 1.1rem;
}

ul {
    margin-bottom: 1.5rem;
    padding-left: 2rem;
}

ul li {
    font-size: 1.1rem;
    line-height: 1.6;
    margin-bottom: 0.5rem;
}

.extension-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 2rem;
    margin-top: 2rem;
}

.extension-card {
    background: white;
    padding: 2rem;
    border-radius: 8px;
    box-shadow: 0 2px 10px rgba(0,0,0,0.1);
    transition: transform 0.3s ease, box-shadow 0.3s ease;
}

.extension-card:hover {
    transform: translateY(-5px);
    box-shadow: 0 5px 20px rgba(0,0,0,0.15);
}

.extension-card h3 {
    color: #2c3e50;
    margin-bottom: 1rem;
}

.failure-rate {
    font-size: 2rem;
    font-weight: 700;
    margin-bottom: 0.5rem;
    color: #e74c3c;
}

.stats {
    background-color: #ecf0f1;
    padding: 1rem;
    border-radius: 4px;
    margin-top: 1rem;
}

.stats p {
    margin-bottom: 0.5rem;
    font-size: 1rem;
}

.extension-details {
    background: white;
    padding: 2rem;
    border-radius: 8px;
    box-shadow: 0 2px 10px rgba(0,0,0,0.1);
/*     max-width: 800px; */
}

.search-container {
    margin: 2rem 0;
    text-align: center;
}

.search-input {
    width: 100%;
    max-width: 400px;
    padding: 1rem;
    font-size: 1.1rem;
    border: 2px solid #ddd;
    border-radius: 8px;
    font-family: 'Futura', 'Trebuchet MS', Arial, sans-serif;
    transition: border-color 0.3s ease;
}

.search-input:focus {
    outline: none;
    border-color: #3498db;
}

.source-code {
    margin-bottom: 1rem;
}

.source-code a {
    color: #3498db;
    text-decoration: none;
    font-weight: 500;
}

.source-code a:hover {
    text-decoration: underline;
}

/* People section */
.people-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
    gap: 2rem;
    margin-top: 2rem;
    justify-items: center;
}

.person {
    text-align: center;
}

.person-photo {
    width: 120px;
    height: 120px;
    border-radius: 50%;
    object-fit: cover;
/*     margin-bottom: 1rem; */
    box-shadow: 0 4px 8px rgba(0,0,0,0.1);
}

.person-name {
    font-weight: 500;
    margin: 0;
}

/* Papers section */
.paper-item {
    margin: 1.5rem 0;
}

.paper-link {
    text-decoration: none;
    color: #333;
    display: flex;
    align-items: flex-start;
    gap: 0.75rem;
}

.paper-link:hover {
    color: var(--main-color);
}

.pdf-icon {
    width: 20px;
    height: 20px;
    flex-shrink: 0;
    margin-top: 0.1rem;
}

/* Failed extension subsections */
.failed-extension-section {
    margin-bottom: 2rem;
    border-bottom: 1px solid #e0e0e0;
    padding-bottom: 1.5rem;
}

.failed-extension-section:last-child {
    border-bottom: none;
    margin-bottom: 0;
}

.failed-extension-title {
    color: #3498db;
    font-size: 1.2rem;
    font-weight: 600;
    margin-bottom: 1rem;
    padding: 0.5rem;
    background-color: #f0f8ff;
    border-left: 4px solid #3498db;
    border-radius: 4px;
}

.person-name a {
    text-decoration: none;
    color: inherit;
    transition: color 0.2s ease;
}

.person-name a:hover {
    color: #3498db;
    text-decoration: underline;
}

/* Terminal output styling */
.terminal-dropdown {
    margin-bottom: 1rem;
}

.dropdown-btn {
    background-color: #4a5568;
    color: white;
    border: none;
    padding: 0.75rem 1rem;
    border-radius: 4px;
    cursor: pointer;
    font-family: 'Futura', 'Trebuchet MS', Arial, sans-serif;
    font-size: 0.9rem;
    width: 100%;
    text-align: left;
    transition: background-color 0.2s ease;
}

.dropdown-btn:hover {
    background-color: #2d3748;
}

.terminal-output {
    background-color: #1a1a1a;
    border-radius: 4px;
    margin-top: 0.5rem;
    max-height: 400px;
    overflow-y: auto;
}

.terminal-output pre {
    margin: 0;
    padding: 1rem;
    color: #00ff00;
    font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', monospace;
    font-size: 0.85rem;
    line-height: 1.4;
    white-space: pre-wrap;
    word-wrap: break-word;
}

.terminal-output code {
    color: #00ff00;
    background: transparent;
}

.hidden {
    display: none;
}

/* Extension header */
.extension-header {
  display: flex;
  flex-direction: column;
  margin-bottom: 0rem; /* Increased spacing before analysis sections */
}

.extension-header h1 {
  display: flex;
  align-items: center;
  gap: 1rem;
  margin-bottom: 1rem; /* Space between heading and source code */
}

.code-icon {
  text-decoration: none;
  color: var(--main-color);
  transition: transform 0.2s ease, color 0.2s ease;
  display: inline-flex;
  align-items: center;
}

.code-icon:hover {
  transform: scale(1.1);
  color: #4f46e5;
}

.code-icon .icon {
  width: 24px;
  height: 24px;
}

/* Analysis sections */
.analysis-section {
    margin: 2rem 0;
}

.analysis-box {
    background-color: #f8f9fa;
    padding: 1.5rem;
    border-radius: 8px;
    border-left: 4px solid #3498db;
    margin-top: 1rem;
}

.analysis-box h4 {
    color: #2c3e50;
    font-size: 1.1rem;
    font-weight: 600;
    margin-top: 1.5rem;
    margin-bottom: 1rem;
    border-bottom: 1px solid #e0e0e0;
    padding-bottom: 0.5rem;
}

.analysis-box h4:first-child {
    margin-top: 0;
}

.analysis-box p {
    margin-bottom: 1rem;
}

.analysis-box p:last-child {
    margin-bottom: 0;
}

.analysis-box .failed-extensions {
    background-color: transparent;
    padding: 0;
    border: none;
    margin: 0;
}
    font-style: italic;
    color: #666;
    margin-bottom: 1.5rem;
}
    list-style: none;
    background-color: #f8d7da;
    padding: 1rem;
    border-radius: 4px;
    border-left: 4px solid #e74c3c;
}

.failed-extensions li {
    padding: 0.25rem 0;
    font-size: 1.1rem;
}

/* BibTeX section styles */
.bibtex-section {
  margin-top: 1rem;
  margin-bottom: 1.5rem;
}

.bibtex-toggle {
  background-color: var(--main-color);
  color: white;
  border: none;
  padding: 0.5rem 1rem;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.9rem;
  transition: background-color 0.3s ease;
}

.bibtex-toggle:hover {
  background-color: var(--highlight-color);
}

.bibtex-content {
  margin-top: 1rem;
  border: 1px solid #ddd;
  border-radius: 4px;
  background-color: #f8f9fa;
}

.bibtex-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 0.75rem 1rem;
  background-color: #e9ecef;
  border-bottom: 1px solid #ddd;
  font-weight: 500;
}

.copy-button {
  background-color: #6c757d;
  color: white;
  border: none;
  padding: 0.25rem 0.5rem;
  border-radius: 3px;
  cursor: pointer;
  font-size: 0.8rem;
  transition: background-color 0.3s ease;
}

.copy-button:hover {
  background-color: var(--highlight-color);
}

.bibtex-code {
  margin: 0;
  padding: 1rem;
  background-color: white;
  border-radius: 0 0 4px 4px;
  font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', monospace;
  font-size: 0.85rem;
  line-height: 1.4;
  overflow-x: auto;
}

.bibtex-code code {
  background: transparent;
  padding: 0;
  color: #333;
}