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

body {
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  background: #f6f8fa;
  color: #1f2328;
  min-height: 100vh;
  padding: 2rem 1rem 4rem;
}

a {
  color: #0969da;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.site-header {
  max-width: 720px;
  margin: 0 auto 2.5rem;
  border-bottom: 1px solid #d0d7de;
  padding-bottom: 1.5rem;
}

.site-header h1 {
  font-size: 1.8rem;
  font-weight: 700;
  color: #1f2328;
  margin-bottom: 0.4rem;
}

.site-header p {
  color: #636c76;
  font-size: 0.95rem;
}

.entry-count {
  display: inline-block;
  background: #eaeef2;
  color: #636c76;
  font-size: 0.8rem;
  padding: 0.15rem 0.5rem;
  border-radius: 12px;
  margin-left: 0.5rem;
  vertical-align: middle;
}

.grid {
  max-width: 720px;
  margin: 0 auto;
  display: flex;
  flex-direction: column;
  gap: 1rem;
}

.card {
  background: #fff;
  border: 1px solid #d0d7de;
  border-radius: 10px;
  display: flex;
  flex-direction: column;
  transition: border-color 0.15s;
}

.card:hover {
  border-color: #0969da;
}

.card-header {
  padding: 1rem 1rem 0.6rem;
}

.card-title-row {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  flex-wrap: wrap;
  margin-bottom: 0.3rem;
}

.card-title {
  font-size: 0.95rem;
  font-weight: 600;
  color: #1f2328;
  word-break: break-word;
}

.card-title a {
  color: inherit;
  text-decoration: none;
}

.card-title a:hover {
  text-decoration: underline;
}

.lang-badge {
  font-size: 0.7rem;
  font-weight: 600;
  color: #fff;
  padding: 0.15rem 0.5rem;
  border-radius: 12px;
  white-space: nowrap;
  background: #555;
}

.lang-badge.lean4 {
  background: #fff;
  color: #000;
  border: 1px solid #000;
}

.lang-badge.lean3 {
  background: #fff;
  color: #000;
  border: 1px solid #000;
}

.lang-badge.coq {
  background: #d14900;
}

.lang-badge.isabelle {
  background: #fefe00;
  color: #000;
  border: 1px solid #a0a000;
}

.lang-badge.agda {
  background: #315665;
}

.lang-badge.metamath {
  background: #8b6914;
}

.lang-badge.mizar {
  background: #2e6b3e;
}

.lang-badge.hol4 {
  background: #DC566D;
}

.lang-badge.hol-light {
  background: #EF7A08;
}


.card-authors {
  font-size: 0.82rem;
  color: #636c76;
}



.card-body {
  padding: 0 1rem 0.8rem;
  flex: 1;
  display: flex;
  flex-direction: column;
  gap: 0.6rem;
  color: #636c76;
  font-size: 0.85rem;
  line-height: 1.5;
}

.card-body p+p {
  margin-top: 0.4rem;
}

.card-body ul,
.card-body ol {
  padding-left: 1.25rem;
  margin: 0;
  display: flex;
  flex-direction: column;
  gap: 0.15rem;
}



.card-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin-top: 0.25rem;
}

.tag {
  font-size: 0.72rem;
  background: #ddf4ff;
  color: #0550ae;
  border: 1px solid #54aeff66;
  padding: 0.1rem 0.5rem;
  border-radius: 12px;
}

.card-related {
  list-style: none;
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.card-related:not(:empty) {
  padding: 0 1rem 0.8rem;
}

.card-related li::before {
  content: "↗ ";
  color: #0969da;
  font-size: 0.75rem;
}

.card-related a {
  font-size: 0.8rem;
}


.card-footer {
  padding: 0.7rem 1rem;
  border-top: 1px solid #d0d7de;
}

.appendix-link {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  font-size: 0.8rem;
  color: #636c76;
  border: 1px solid #d0d7de;
  padding: 0.3rem 0.75rem;
  border-radius: 6px;
  transition: border-color 0.15s, color 0.15s;
}

.appendix-link:hover {
  color: #1f2328;
  border-color: #636c76;
  text-decoration: none;
}