Шрифты меняются в настройках жосма. Под линуксом тоже, для начала попробуйте выбрать тему оформления другую, не дефолтную.

С проксей бывает беда, это да. Лечится (у меня помогло) установкой на комп локального прокси, который уже коннектится к проксе корпоративной. То есть обеспечивает аутентификацию и так далее.