Synaptic "" { useUserFont "1"; useUserTerminalFont "1"; FontName "default 12"; TerminalFontName "default 12"; };