For your Linux usage maybe you should try HTML5?
http://www.webupd8.org/2011/09/gtk-3...l5-allows.html
The HDMI input does not work perfectly as you may wish. The display text is often not black and white which cause loss of contrast. Plus there's no efficient font dithering as the HDMI driver knows nothing but the pixels...
With the HTML5 output the browser would actually render fonts which should yield much better results