(no time to read my ramblings? Jump to the script here)

Jan 16th 2008 - UPDATE: Fixed font size. The link looks much better now (Thanks Ale)
Heh. When procrastination brings productivity. I was working in Google Documents on my thesis, and felt that something wasn’t quite right. The header was taking too much space and on my 13.3” widescreen every vertical pixel is precious.

So I came up with this tiny Greasemonkey script that allows to toggle the header bar in Google documents, providing more room for working. Plus I didn’t really feel like working on the thesis ;-)
Example after the jump

…from this…

 wr2

…to this…

wr

You can find the script here.

Share This