gwt - change font of gwtbootstrap3 app -

i'm using gwtbootstrap3 app , want change font of app, want this:

body{    font-family:tahoma; } 

i tried customise widget, have fo widgets , don't think it's optimal. how can that?

this might 1 of infrequent cases want use !important, i.e.:

body{    font-family:tahoma !important; } 

before do, however, read when using !important right choice.