Cara Mengubah Ukuran Top Bar GNOME Shell Bagaimana ?, Pada saat itu saya menggunakan Ubuntu 20.04 dan menggunakan Gnome sebagai Desktop Environtment, tetapii saya menemukan top bar lebih besar, dan itu membuat pandangan menurut saya kurang elegan dan bagaimana cara mengubah ukuran top bar gnome shell ?.

Sebelum memulai tutorial sedikit penjelasan mengenai tampilan gnome shell pada dasarnya berupa file berformat css yang terdapat pada direktori /usr/share/gnome-shell/theme/gnome-shell.css dan ada beberapa komponen lainnya yang mendukung tampilan linux yang mempunyai desktop gnome-shell

Mengubah Ukuran Top Bar GNOME

1. Temukan file di direktori /usr/share/gnome-shell/theme/gnome-shell.css

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

dan setelah itu cari selector stage seperti dibawah ini.

/* default text style */
stage {
    font-family: cantarell, sans-serif;
    font-size: 11pt; 
    color: white;
}

Dan rubah font-size: 11pt ke ukuran font-size: 9pt.

2. Merubah Ukuran Font pada top-bar

Setelah itu cari selector #panel seperti dibawah ini.

/* Top Bar */
#panel {
  background-color: rgba(0,0,0,0.4);
  font-weight: bold;
  height: 1.86em;
  font-feature-settings: "tnum";
  font-family: Arial, Helvetica, sans-serif; /* added this line */
  font-size: 22px; } /* added this line */

Setelah itu rubah font-size sesuai yang anda inginkan.Mengubah ukuran top bar ini saya coba pada sistem operasi Ubuntu 20.04 mungkin beberapa sistem operasi linux akan berbeda.

Beberapa Artikel Lainnya :

• Fix Resolusi Ubuntu 1024×768 (Unknown Monitor)
• Cara Install Tuxcut (Nexcut) Pada Debian/Ubuntu Linux
• Cara Port Forwarding Localhost Ke Publik dengan ngrok

Referensi :

• https://unix.stackexchange.com/
• https://itectec.com/ubuntu/