add variable-size div

[gkiar]

https://stackoverflow.com/questions/6219031/how-can-i-resize-a-div-by-dragging-just-one-side-of-it

useful for when you have to open a paper in a diff window anyways (i.e. pdf) and you want a wider writing area