CentOS 7 更改 任务栏 高度

当屏幕不够大时，可以把顶部的 任务栏高度变小一点，

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

把 Top bar 项目 下的

#panel {

  background-color: rgba(0, 0, 0, 0.35);

  transition-duration: 500ms;

  font-weight: bold;

  height: 1.8em; }