body {
  font-family: system-ui, sans-serif;
  margin: 0;
  background: #f5f6fa;
  color: #2f3640;
}

/* Header Styles */
header {
  background-color: #1E3D59;
  color: white;
  padding: 2rem;
  text-align: center;
  border-radius: 8px;
  margin: 20px;
}

header h1, header p {
  color: white;
}

header h1 {
  margin: 0 0 0.5rem;
  font-size: 2.5rem;
}

header p {
  font-size: 1.2rem;
}

/* Intro Section */
.intro {
  max-width: 800px;
  margin: 2rem auto;
  text-align: center;
  padding: 0 1rem;
}

/* IDE Overview Section */
.ide-overview {
  text-align: center;
  margin: 2rem 0;
  padding: 1rem;
}

.overview-image {
  display: flex;
  justify-content: center;
  align-items: center;
  margin: 20px 0;
}

.overview-image img {
  box-shadow: none;
  border-radius: 0;
}

/* Bundle Sections */
.bundle {
  max-width: 1100px;
  margin: 2rem auto;
  padding: 1.5rem; /* Increased padding for consistency */
  background: white; /* Added background for better visibility */
  border-radius: 12px; /* Consistent border radius */
  box-shadow: 0 4px 10px rgba(0,0,0,0.1);
}

.bundle h2 {
  font-size: 1.8rem;
  margin: 0 0 1rem; /* Adjusted margin for consistency */
  padding-bottom: 0.5rem;
  border-bottom: 2px solid #1E3D59;
}

/* Tool Cards */
.tool-card {
  background: white;
  padding: 1.5rem; /* Consistent padding */
  border-radius: 12px;
  box-shadow: 0 4px 10px rgba(0,0,0,0.1);
  margin: 1rem 0;
  transition: transform 0.3s ease, box-shadow 0.3s ease;
}

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

.tool-card h3 {
  margin-top: 0;
  color: #1E3D59;
  font-size: 1.4rem;
}

.tool-card a {
  display: inline-block;
  margin-top: 1rem;
  padding: 0.5rem 1rem; /* Consistent button size */
  background: #1E3D59;
  color: white;
  text-decoration: none;
  border-radius: 8px;
  transition: all 0.2s ease;
  font-weight: 500;
}

.tool-card a:hover {
  background: #2b5683;
  transform: scale(1.05);
}

/* Status Labels */
.status {
  display: inline-block;
  padding: 0.3rem 0.8rem;
  border-radius: 15px;
  font-size: 0.9rem;
  font-weight: bold;
  margin-top: 0.5rem;
}

.status.implemented {
  color: #2ecc71;
  background: rgba(46, 204, 113, 0.1);
}

.status.development {
  color: #f39c12;
  background: rgba(243, 156, 18, 0.1);
}

.status.design {
  color: #e74c3c;
  background: rgba(231, 76, 60, 0.1);
}

/* Publications Section */
.paper-citation {
  font-size: 0.75rem;
  color: #6b6f75; /* softer grey */
  margin-top: 0.6rem;
  max-width: 900px;
  line-height: 1.4;
}

.publications {
  max-width: 900px;
  margin: 2.5rem auto;
  padding: 1rem;
  text-align: left;
}

.publications h2 {
  font-size: 1.6rem;
  color: #1E3D59;
  margin-bottom: 0.8rem;
}

.publication-list {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-direction: column;
  gap: 0.6rem;
}

.publication-item {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.9rem 0;
  border-bottom: 1px solid rgba(0,0,0,0.04);
}

.pub-details {
  color: #6b6f75; /* softer grey */
  font-size: 0.88rem;
  line-height: 1.4;
  max-width: calc(100% - 48px);
}

.pub-authors {
  font-weight: 400; /* normal weight: do not bold authors */
  color: #333;
}

.pub-title {
  font-weight: 700; /* make only the title bold */
  font-style: normal;
  color: #2f3640;
}

.pub-venue {
  color: #6b6f75;
}

/* Footer */
footer {
  text-align: center;
  padding: 1rem;
  background: #dcdde1;
  margin-top: 2rem;
}

/* Responsive Design */
@media (max-width: 768px) {
  header {
    margin: 10px;
    padding: 1.5rem;
  }
  
  .bundle {
    padding: 1.5rem; /* Consistent padding */
  }
  
  .tool-card {
    padding: 1.5rem; /* Consistent padding */
  }
}