[SOLVED] change font of gwtbootstrap3 app

I'm using gwtbootstrap3 for my app and I want to change font of all my app, I want to do something like this:

body{
   font-family:tahoma;
}

I tried to customise widget, but I have to do this fo all my widgets and I don't think it's very optimal. So how can I do that?

This might be one of those infrequent cases where you want to use !important, i.e.:

body{
   font-family:tahoma !important;
}