Limit the size of the toc

This commit is contained in:
Gael Guennebaud 2018-11-09 13:52:34 +01:00
parent a88e0a0e95
commit dffd1e11de

View File

@ -165,6 +165,8 @@ div.toc {
bottom:0;
border-radius:0px;
border-style: solid none none none;
max-height:50%;
overflow-y: scroll;
}
div.toc h3 {