message: Tweak the position of the menu button on macOS
diff: @@ -67,8 +67,13 @@ EXTRATERM-MAINWEBUI {
  } @else {
  flex-grow: 0;
  flex-shrink: 0;
  +
  + @if($extraterm-platform == "darwin") {
  + align-self: center;
  + } @else {
  vertical-align: baseline;
  }
  + }
  width: $control-size;
  height: $control-size;
  