#footnote-tooltip{padding:.25em}#footnote-tooltip .footnote-tooltip-content{max-height:min(500px,80vh);overflow-y:auto;padding:.25em}#footnote-tooltip .footnote-tooltip-content pre code{max-height:300px}#footnote-tooltip>#arrow{z-index:-1}
/*# sourceMappingURL=common_theme_37_3838fea2a7bd2c8bb5a93ca9e8077b31f00e289e.css.map?__ws=users.rust-lang.org */