изменение шрифта gwtbootstrap3 приложение

Question

Я использую gwtbootstrap3 для моего приложения, и я хочу, чтобы изменить шрифт все мое приложения, я хочу сделать что-то вроде этого:

body{ 
    font-family:tahoma; 
} 

Я пытался настроить виджет, но я должны сделать это для всех моих виджетов, и я не думаю, что это очень оптимально. Итак, как я могу это сделать?

Answer 1

Это может быть один из тех редких случаев, когда вы хотите использовать !important, т.е .:

body{ 
    font-family:tahoma !important; 
} 

Перед тем не менее, прочитайте When Using !important is the Right Choice.