html,body{max-width:100%;overflow-x:clip}.top{width:100%;max-width:100vw;overflow:hidden}.nav{width:100%}mjx-container[display="true"]{width:100%!important;min-width:0!important;contain:inline-size paint}