query: How to change overall font size of minted?
positive_passages.docid: 6046
positive_passages.text: Minted, setstretch and font size
negative_passages.docid: 57734
negative_passages.text: How do I fix the tiny font in my Windows 7 system dialog boxes?
negative_passages.docid: 89958
negative_passages.text: How to scale all fonts (in the whole document) by certain factor or percentage?
negative_passages.docid: 117734
negative_passages.text: How can I install a complete Arabic font?
negative_passages.docid: 143604
negative_passages.text: Scaling inline code to the current font size
negative_passages.docid: 71440
negative_passages.text: How to change the unusual font size of Table of Contents?
negative_passages.docid: 35282
negative_passages.text: How to change the font size of a document?
negative_passages.docid: 112107
negative_passages.text: Change existing symbol size
negative_passages.docid: 137256
negative_passages.text: Do fontsize environments exist?
negative_passages.docid: 89360
negative_passages.text: How can I change the caption font and size for figures and tables
negative_passages.docid: 69291
negative_passages.text: Ubuntu 20.04 Font and UI elements too big on login
negative_passages.docid: 134970
negative_passages.text: How to make math font huge
negative_passages.docid: 48940
negative_passages.text: Fonts larger than \Huge?
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: 78876
negative_passages.text: How to change fonts
negative_passages.docid: 73712
negative_passages.text: How to increase the icon text size in Ubuntu 18.04?