.pusher>.full.height{display:flex;flex-direction:row}.full.height>.toc{position:fixed;z-index:1;width:250px}.article{flex:1 1 auto;min-width:0px;margin-left:250px;margin-right:10px}.main-menu{width:250px !important;border-radius:0px !important}.spinning{animation:spin 2s linear infinite}@keyframes spin{0%{transform:rotate(0deg)}100%{transform:rotate(360deg)}}