English
Ask Your Question
0

How to resize Gnome 3.18 top bar

asked 2016-01-29 14:16:03 +0000

cialu gravatar image

Hi, is there a way to resize the height of the top bar in Gnome 3.18 shell?

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
2

answered 2016-01-29 15:58:17 +0000

maxim gravatar image

/home/user/.local/share/themes/NameThemes/gnome-shell/gnome-shell.css

/* TOP BAR */
#panel {
background-color: black;
font-weight: bold;
height: 1.86em; }
#panel.unlock-screen, #panel.login-screen, #panel.lock-screen {
background-color: transparent; }
#panel #panelLeft, #panel #panelCenter {
spacing: 4px; }

need to change height: 1.86em; }

example height: 5.0em; } image description

edit flag offensive delete link more

Comments

Don't forget to change the theme with GNOME Tweak Tool.

alunux ( 2016-02-01 11:30:46 +0000 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

[hide preview]

Use your votes!

  • Use the 30 daily voting points that you get!
  • Up-vote well framed questions that provide enough information to enable people provide answers.
  • Thank your helpers by up-voting their comments and answers. If a question you asked has been answered, accept the best answer by clicking on the checkbox on the left side of the answer.
  • Down-voting might cost you karma, but you should consider doing so for incorrect or clearly detrimental questions and answers.

Question Tools

Follow
1 follower

Stats

Asked: 2016-01-29 14:16:03 +0000

Seen: 1,665 times

Last updated: Jan 29 '16