Právě začínám s linuxem a chtěl bych požádat o radu. Jak docílit, aby GNOME používal font Times. Díky Petr Hliněný