CentOS 7 更改 任务栏 高度

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

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

把 Top bar 项目 下的

/* TOP BAR */
#panel {
  background-color: rgba(0, 0, 0, 0.35);
  /* transition from solid to transparent */
  transition-duration: 500ms;
  font-weight: bold;
  height: 1.8em; }