change font sizes

While checking out bluetrip I found that, like many other grids, it uses the smallest acceptable font-size. This is too small for default usage. How do I change this without breaking the system?

I tried:
body { font-size:11pt; }

but when I set the background color for selected text, the previous line is invaded. This suggests I need to make proportional changes elsewhere.