#worked-case pre{white-space:pre-wrap;overflow-wrap:anywhere;padding:1rem;border:1px solid currentColor;font-size:.875rem;line-height:1.6}#worked-case dt{font-weight:700;margin-top:1rem}#worked-case dd{margin-left:0}