.provability-explained code{font-size:14px;line-height:1.6;color:var(--gray-300);background-color:var(--dark-purple-400);border-radius:var(--radius-m);display:block;padding:2em 1em}.provability-explained code .comment{font-style:italic;color:#998}.provability-explained code .func{font-weight:700;color:var(--red-300)}.provability-explained code .num{color:var(--green-200)}.provability-explained code .keyword{font-weight:700}.provability-explained code .string{color:var(--red-200)}.provability-explained code .var{color:var(--green-400)}.provability-explained code .blue{color:var(--blue-200)}.provability-explained code .green{color:var(--green-200)}.provability-explained code .red{color:var(--red-200)}.provability-explained mark{background:unset}.provability-explained mark:first-of-type{color:var(--green-300)}.provability-explained mark:nth-of-type(2){color:var(--blue-300)}.provability-explained mark:nth-of-type(3){color:var(--red-300)}.provability-explained__link{cursor:pointer}@media(hover){.provability-explained__link:not(:hover){text-decoration:underline}}.provability-explained__animation{overflow:hidden}.provability-explained__animation.is-enter-active{animation:dropdown-open .35s}.provability-explained__animation.is-exit-active{animation:dropdown-open .35s reverse}@keyframes dropdown-open{0%{height:0}to{height:auto}}