query: Change Ubuntu top bar font
positive_passages.docid: 156648
positive_passages.text: How do I change the top bar font in GNOME 3.30.1?
negative_passages.docid: 51346
negative_passages.text: Changing desktop icon size in Ubuntu 19.04
negative_passages.docid: 145249
negative_passages.text: Changing the default title/author/institution/frametitle font in Beamer
negative_passages.docid: 137021
negative_passages.text: How to change the Top Bar tab titles
negative_passages.docid: 38490
negative_passages.text: How to adjust font features in LuaTeX?
negative_passages.docid: 12903
negative_passages.text: How do I install fonts?
negative_passages.docid: 122032
negative_passages.text: Resize font on boot message screen and console
negative_passages.docid: 100888
negative_passages.text: Ubuntu 18: Top bar for all monitors
negative_passages.docid: 23373
negative_passages.text: GNOME 3 merge top bar and Ubuntu dock (side/bottom bar)
negative_passages.docid: 28335
negative_passages.text: How do you change TTY font size before login?
negative_passages.docid: 17292
negative_passages.text: Changing font style using beamer
negative_passages.docid: 127872
negative_passages.text: How to change Ubuntu 18.04 system fonts?
negative_passages.docid: 69861
negative_passages.text: Package tocloft change font size
negative_passages.docid: 52550
negative_passages.text: How to programmatically install a font
negative_passages.docid: 105412
negative_passages.text: Changing console font on Ubuntu 10.04 Server
negative_passages.docid: 122531
negative_passages.text: How to change text to bold when font does not support bold
negative_passages.docid: 60992
negative_passages.text: Is it possible to rename fonts in Windows 7?