@media (max-width:767.98px){.article>p>.img-wrap,.article>pre{margin-left:-1rem;margin-right:-1rem}}.nav-header{cursor:pointer}#collapseTarget{max-height:250px;overflow:auto}#sf-header{z-index:2000}.fixed-article-nav{margin-top:88px!important}