.lead{font-weight:unset}.lambda-bound{transform:rotateY(180deg)}.toc{}.ta-info{overflow:auto;padding:5px 0}