Reduce the size of the gnome-shell top bar

If you want to ask me a question or leave me a message add @bougui505 in your comment.