While we're gutting the python parser...

[David A. Desrosiers]

        I suggest a small block of new options:

        --font=std,bold,large,largebold,narrow

        If we're moving towards storing the actual font value in the
database itself, why not put a pointer there to specify it upon creation?



/d