Cara Mengubah Ukuran Top Bar pada GNOME Shell

by | Dec 23, 2020 | Blog, FOSS, Linux | 0 comments

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
cara-mengubah-ukuran-top-bar

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.

  1. 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 :

Referensi :

0 Comments

Submit a Comment

Your email address will not be published. Required fields are marked *