hp0p+@andrew.cmu.edu (Hokkun Pang) (03/14/91)
how do i change the system fonts? i want to a different font at a smaller resolution.