Take the 2-minute tour ×
Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems.. It's 100% free, no registration required.

I am on Ubuntu 12.04 and installed gnome-shell, but I found the top bar is larger than it normally is, how can I change its size?

share|improve this question
add comment

2 Answers

up vote 2 down vote accepted

The most simplistic way is to simply click on it with:

Hold both "Windows key + Alt" then "Right-click" the bar.

Then click "Properties".

In the "General Tab", simply resize the bar.

Regards,

share|improve this answer
add comment

Find the file /usr/share/gnome-shell/theme/gnome-shell.css

open it for editing by running the command

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

then in that file right in the begining you'll see

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

and save the file, now you have changed the font size for the shell which will resize the top bar too, but now you need to restart the theme to load this file

so press alt + F2 and enter r and press enter

It shall work I'm not using ubuntu but it works for me on fedora

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.