html,body{height:100%}.bi{vertical-align:-.125em;fill:currentColor;display:inline-block}.execution-details{font-family:var(--bs-font-monospace)}
