Aha, korzystam z Google Chrome i wtyczki Stylebot. Dzięki niej zmieniłem pewne elementy strony. Powiększyłem czcionkę gdzie trzeba i teraz to już naprawdę fajnie korzysta się z portalu. Jest jeszcze parę niedoróbek, ale na razie nie jest to dla mnie sprawa wagi "korzystam lub w ogóle nie korzystam z portalu".