Jika ingin merubah ukuran font di Linux Mint, bisa ikuti cara ini. Hati-hati saat melakukanya, resiko tanggung sendiri.
sudo gedit /usr/share/gnome-shell/extensions/menu@linuxmint.com/stylesheet.css
Tambahkan font-size: 16px; /* new line */ nanti akan seperti ini.
.category-button {
padding-top: 7px;
padding-left: 7px;
padding-right: 7px;
padding-bottom: 7px;
font-size: 16px; /* new line */
font-weight: normal;
}
.category-button-selected {
padding-top: 7px;
padding-left: 7px;
padding-right: 7px;
padding-bottom: 7px;
color: white;
background-gradient-direction: vertical;
background-gradient-start: rgba(255,255,255,0.2);
background-gradient-end: rgba(255,255,255,0.08);
box-shadow: inset 0px 0px 1px 1px rgba(255,255,255,0.06);
border-radius: 4px;
font-size: 16px; /* new line */
}
NB: font-size: 16px; /* new line */
<--- 16px bisa di rubah sesuai selera.sudo gedit /usr/share/gnome-shell/extensions/menu@linuxmint.com/stylesheet.css
Tambahkan font-size: 16px; /* new line */ nanti akan seperti ini.
.category-button {
padding-top: 7px;
padding-left: 7px;
padding-right: 7px;
padding-bottom: 7px;
font-size: 16px; /* new line */
font-weight: normal;
}
.category-button-selected {
padding-top: 7px;
padding-left: 7px;
padding-right: 7px;
padding-bottom: 7px;
color: white;
background-gradient-direction: vertical;
background-gradient-start: rgba(255,255,255,0.2);
background-gradient-end: rgba(255,255,255,0.08);
box-shadow: inset 0px 0px 1px 1px rgba(255,255,255,0.06);
border-radius: 4px;
font-size: 16px; /* new line */
}
NB: font-size: 16px; /* new line */
Enjoy