.provability-explained code{color:var(--gray-300);background-color:var(--dark-purple-400);border-radius:var(--radius-m);padding:2em 1em;font-size:14px;line-height:1.6;display:block}.provability-explained code .comment{color:#998;font-style:italic}.provability-explained code .func{color:var(--red-300);font-weight:700}.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:.35s dropdown-open}.provability-explained__animation.is-exit-active{animation:.35s reverse dropdown-open}@keyframes dropdown-open{0%{height:0}to{height:auto}}