site: Make the page responsive
If the view port size gets too small, let's drop the empty space on the left first. Then if that is too small, let's drop the space with TOC on the right.
Fixes #36 (closed)
If the view port size gets too small, let's drop the empty space on the left first. Then if that is too small, let's drop the space with TOC on the right.
Fixes #36 (closed)