4 ms·
Happy to: Change the div#TOC rule the following: div#TOC { float: left; width: 25%; font-size: 10pt; background: #eee; margin-right: 15
by chops 13y ago
Happy to:
Change the div#TOC rule the following:
div#TOC {
float: left;
width: 25%;
font-size: 10pt;
background: #eee;
margin-right: 15px;
margin-bottom: 15px;
line-height: 15pt;
}
I hope that helps!
- gwern 13y agoYes, it does. I've tweaked it a bit and added it to the site CSS.