#mainmenu li a{padding:12px 10px!important}@media (max-width:650px){div#toc_container{width:100%!important}}