text ubuntu 18.04主题美化

Posted 2021-04-30

/* Decrease the tabs bar height in gnome-terminal
 * See:
 * https://stackoverflow.com/questions/36869701/decrease-the-tabs-bar-height-in-gnome-terminal
 *~/.config/gtk-3.0/gtk.css
 */

terminal-window notebook > header.top button {
  padding: 0 0 0 0;
  background-image: none;
  border: 0;
  margin-right: 10px;
}
terminal-window notebook > header.top > tabs > tab {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}
terminal-window notebook > header.top > tabs > tab label {
  padding: 0 0 0 0;
  margin: 0 0 0 0;
}

headerbar.default-decoration {
 padding-top: 3px;
 padding-bottom: 3px;
 min-height: 22px;    /* 标题栏高度 */
 font-size: 1.0em;
}

headerbar.default-decoration button.titlebutton {
 padding-top: 1px;
 padding-bottom: 1px;
 font-size: 1em;
 min-height: 0px;
}