make menu font smaller and !bold for now
authorDana Jansens <danakj@orodu.net>
Tue, 15 Apr 2003 18:30:20 +0000 (18:30 +0000)
committerDana Jansens <danakj@orodu.net>
Tue, 15 Apr 2003 18:30:20 +0000 (18:30 +0000)
commit9bd740cf71ec591a9ec23d5b1729449f22fcf4b1
tree56e2f418f30f7df3dd01fb4e93884f76f09dc03c
parent0e28a07e3d6677aa6af9ad97fbc55f8101f3fdf2
make menu font smaller and !bold for now
render/theme.c