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

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 wasn’t really feeling like working on the thesis ;-)
Example after the jump

…from this…

 

wr2

 

…to this…

 

wr

 

You can find the script here.