.proof-grid{display:grid;grid-template-columns:1fr 1fr;gap:18px}.proof-grid article{padding:22px;background:#eff7f3;border-radius:14px}.proof-grid strong{font-size:18px}.proof-grid p{font-size:14px}.language-intro{padding-bottom:18px}.command-example{display:flex;flex-wrap:wrap;align-items:center;gap:10px;padding:22px;background:#edf6fa;border-radius:14px}.command-example span{padding:12px 16px;background:#fff;border:2px solid #5396a5;border-radius:9px;font-weight:700}.command-example b{color:#437986}.example-caption{font-size:12px;color:#586e65}.python-example{display:flex;flex-direction:column;gap:12px;background:#f4f0f8;border-radius:14px;padding:24px}.python-example code{font-size:19px;color:#594771;overflow-wrap:anywhere}.python-example span{font-size:14px}@media(max-width:600px){.proof-grid{grid-template-columns:1fr}.command-example{padding:16px;gap:6px}.command-example span{padding:9px;font-size:14px}.python-example{padding:18px}}
.ev3-program-screen{margin:24px 0}.ev3-program-screen img{display:block;width:100%;height:auto;border-radius:14px}.ev3-program-screen figcaption{font-size:13px;line-height:1.8;margin-top:12px;color:#52665e}.ev3-program-screen a{ text-decoration:underline;text-underline-offset:4px}