#!/bin/sh
#ident  "@(#) 1.0 reduce xterm font size - John S. Urban"
esc -f D