Header/left bar now scrollable

Otherwise it was not possible to see the left "header" column on
index.html on screens that are too small for its full length.