Aumentar tamaño de fuente de encabezado JTable Java

Necesitaba aumentar el tamaño de la letra fuente del encabezado de una JTable en Java.

Me costó encontrar cómo hacerlo pero la forma más fácil fue la siguiente:

JTableHeader objetoencabezado; 

Creamos el tipo y tamaño de letra

Font fuente = new Font("Dialog",Font.PLAIN,16);

Luego se la ponemos al objetoencabezado

objetoencabezado.setFont(fuente);

¡Y listo! Sencillo verdad.

Ampliar la letra de interfaz de navegador Vivaldi

 Instalé el navegador Vivaldi en xubuntu 20.04 pero sentía muy pequeña la letra de toda la interfaz y la forma de cambiarla era sencilla pero no la encontraba se hace de la siguiente forma: