ToC as side bar

Restrict width and move Table of Content to the right side.

As of 2020-03-04. See the latest version.