I like having the table of contents on the left. I often have to scroll back to the top to look at the table of contents again. The font size is rather large th

I like having the table of contents on the left. I often have to scroll back to the top to look at the table of contents again. The font size is rather large though: for many pages you have to scroll to see the full table of contents. Seeing the full table of contents at a glance is a critical feature for me. I would use this extension if you could scale the table of contents like you can for the main text.