message: make the header smaller
diff: .header {
  border-bottom: 1px solid #CECECE;
  - padding: 2px;
  + padding: 2px 7px;
  display: flex;
  align-items: center;
  }
  display: flex;
  align-items: center;
  }
  +
  +.header .buttons > * {
  + margin: 0 5px;
  +}
  