A while back (a couple of years?), someone released a Google Docs CSS tweak that provided a similar appearance -- green on black. Unfortunately, I've lost the

A while back (a couple of years?), someone released a Google Docs CSS tweak that provided a similar appearance -- green on black. Unfortunately, I've lost the reference.