Недавно обратил внимание на то, что шрифты на сайте java.net какие-то неприятные – мутные и плохо читаются. Может они всегда были такими, а я стал чуть-более придирчивым, а может быть стали такими после мега_перезагрузки_сайта.
На самом деле не столь важно почему, важно понять как подправить…

Могу предложить два способа из разряда “быстрых хаков”.

Способ 1. Простой и скучный (и только для только для пользователей Firefox-а).
Нужно в файле: C:\Documents and Settings\\Application Data\Mozilla\Firefox\Profiles\\chrome\userContent.css
добавить настройку для конкретного домена:

@-moz-document domain(java.net) {
  body {
    font-family: Arial,Helvetica,sans-serif !important; 
  }
}

Способ 2. Простые хитрости Greasemonkey.

Greasemonkey (замасленная обезьяна, “механик”) – удобная тулза для различного рода кастомизации, переделавание и допиливания страничек. Один из моих любимых инструментов для подобного рода экспериментов.
Если кратко, используя Greasemonkey вы сможете запускать свои скрипты на JavaScript-е у себя в браузере для определенных сайтов.

Приведу несколько очень полезных ссылок:

• Greasemonkey Hacks от O’REILLY
• The weblog about Greasemonkey
• Огромное количество готовых скриптов на разные случаи жизни

Кстати Greasemonkey сейчас работает в Google Chrome “из коробки”. Для установки вы просто драг-анд-дропаете в окно браузера ваш файлик (что-то типа sitefix.user.js) и он будет воспринят как обычное расширение.
Для Firefox, как и раньше нужно поставить плагин https://addons.mozilla.org/ru/firefox/addon/greasemonkey/.

Примерный скрипт для подмены шрифтов выглядит следующим образом:

// ==UserScript==
// @name           FontFix
// @namespace      programmisty
// @include        http://*.java.net/*
// ==/UserScript==
var head = document.getElementsByTagName("head")[0];
var style = document.createElement("style");
style.setAttribute("type", 'text/css');
style.innerHTML = " body { font-family: arial,helvetica,sans-serif} ";
head.appendChild(style);