html, body {
    height: 100%;
    margin: 0;
    padding: 0;
}
div {
    overflow: hidden;
}
@media (pointer:coarse) {
    div {
	overflow: auto;
	-webkit-overflow-scrolling:touch;
    }
}
#toc {
    float: left;
    width: 250px;
    height: 100%;
}
#doc {
    height: 100%;
}
iframe {
    border: none;
    width: 100%;
    height: 100%;
}