deleted:    default/art/ol.ans

	deleted:    default/ol.ans
	modified:   default/ol.py
	default/art/oneliner.ans
	default/art/oneliner100.ans
it would be easier to simply *not* call pager.border(), if removing the border is what you want