.proofs .language-showcase {
  display: grid;
  grid-template-columns: minmax(0, .9fr) minmax(0, 1.1fr);
  align-items: center;
  gap: 32px;
  min-height: 0;
  margin-top: 32px;
  padding: 12px 24px;
  border: 0;
  border-radius: 0;
  background: transparent;
  box-shadow: none;
  overflow: visible;
}
.proofs .language-showcase::before { content: none; }
.proofs .language-showcase > div:first-child { max-width: 470px; }
.proofs .language-showcase h2 {
  max-width: 470px;
  margin: 0 0 12px;
  font-size: clamp(26px, 2.5vw, 32px);
  line-height: 1.15;
}
.proofs .language-showcase p {
  max-width: 470px;
  margin: 0;
  color: var(--muted);
  font-size: 16px;
  line-height: 1.5;
}
.proofs .language-showcase .language-note {
  display: block;
  margin-top: 10px;
  font-size: 14px;
  line-height: 1.5;
  color: #626269;
}
.proofs .language-showcase .language-tags {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 10px;
  width: 100%;
  margin: 0;
}
.proofs .language-showcase .language-tags span {
  display: flex;
  align-items: center;
  gap: 8px;
  min-width: 0;
  min-height: 42px;
  padding: 9px 10px;
  grid-column: auto;
  border: 1px solid rgba(94, 145, 224, .14);
  border-radius: 14px;
  background: rgba(239, 246, 255, .55);
  box-shadow: none;
  color: #4d5d74;
  font-size: 14px;
  line-height: 1.3;
  text-align: left;
  cursor: default;
  backdrop-filter: none;
  -webkit-backdrop-filter: none;
}
.proofs .language-showcase .language-tags b {
  flex: 0 0 auto;
  min-width: 0;
  height: auto;
  margin: 0;
  padding: 0;
  border: 0;
  background: none;
  color: var(--blue);
  font-size: 12px;
  line-height: 1.3;
}
.proofs .language-showcase .language-tags { column-gap: 12px; row-gap: 0; padding: 8px 5px; isolation: isolate; }
.proofs .language-showcase .language-tags span {
  position: relative;
  z-index: calc(var(--language-order, 0) + 1);
  background: #f1f7ff;
  box-shadow: 0 4px 10px -7px rgba(34,77,136,.25);
  transform: rotate(var(--language-tilt, 0deg));
  transform-origin: 50% 55%;
}
.proofs .language-showcase .language-tags span:nth-child(n+4) { margin-top: -3px; }
.js .proofs .language-showcase.reveal .language-tags span {
  opacity: 0;
  filter: none;
  transform: translateY(-40px) rotate(var(--language-tilt, 0deg));
  transition: none;
}
.js .proofs .language-showcase.reveal .language-tags.is-landed span {
  animation: language-card-land 1.25s calc(var(--language-order, 0) * 95ms) both;
}
@keyframes language-card-land {
  0% { opacity: 0; transform: translateY(calc(-1 * var(--language-fall, 350px))) rotate(var(--language-entry, -8deg)) scale(.96); animation-timing-function: cubic-bezier(.42,0,.78,.4); }
  5% { opacity: 1; }
  68% { opacity: 1; transform: translateY(3px) rotate(calc(var(--language-tilt, 0deg) + 1deg)) scale(1); animation-timing-function: ease-out; }
  82% { opacity: 1; transform: translateY(-4px) rotate(calc(var(--language-tilt, 0deg) - .7deg)); animation-timing-function: ease-in-out; }
  100% { opacity: 1; transform: translateY(0) rotate(var(--language-tilt, 0deg)) scale(1); }
}
@media (max-width: 980px) {
  .proofs .language-showcase { grid-template-columns: 1fr; gap: 20px; padding: 0 20px; }
  .proofs .language-showcase > div:first-child,
  .proofs .language-showcase h2,
  .proofs .language-showcase p { max-width: none; }
}
@media (max-width: 640px) {
  .proofs .language-showcase { margin-top: 28px; padding: 0 4px; gap: 18px; }
  .proofs .language-showcase h2 { font-size: 26px; }
  .proofs .language-showcase .language-tags { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 8px; }
  .proofs .language-showcase .language-tags span:nth-child(9) { grid-column: 1 / -1; }
  .proofs .language-showcase .language-tags { column-gap: 10px; row-gap: 0; padding: 7px 3px; }
  .proofs .language-showcase .language-tags span:nth-child(n) { margin-top: 0; }
  .proofs .language-showcase .language-tags span:nth-child(n+3) { margin-top: -2px; }
}
@media (prefers-reduced-motion: reduce) {
  .js .proofs .language-showcase.reveal .language-tags span {
    opacity: 1;
    filter: none;
    transform: none;
    transition: none;
    animation: none !important;
  }
}