アプリを実行していない場合、またはGNOMEシェルのアクティビティ画面を表示している場合、アクティビティバーの高さはおそらく20ピクセルです。アプリケーションを実行しているとき、これは70pxに拡張され、おそらくアプリケーションに使用する64×64のアプリケーションアイコンに合わせます。このバーをずっと小さくすることはできますか？
承認された回答：
gnomeshellテーマのCSSを編集する必要があります。デフォルトのgnomeshellCSSファイルは/usr/share/gnome-shell/theme/に保持されます – “ root”のファイルを編集するようにしてください 権限を取得してから、「gnome-shell.css」を編集します 。
パネル（またはアクティビティバー）のスタイルは #panelにあります （検索するだけです）–パネルの拡大は、おそらく font-sizeの影響によるものです。 ＆高さ