Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
#main2 {
position:fixed;
bottom:0;
right:0;
z-index:9999;
}

#main1, #toc2 {
position:relative;
}

#toc2 {
display:block;
width:300px;
height:300px;
overflow:scroll;
}

#header1 {
background-color:#f9f9f9;
padding:7px;
border: 1px solid #aaa;
font-weight: bold;
text-align: center;
cursor: pointer;
width:300px;
}