So essentially I would like to do this: Is it possible to reduce the height of the frame title box in beamer? ... but for the sections box in a beamer presentation. In different words: How do you adjust the height of the sections box in beamer?
I currently use the following template:
\documentclass[]{beamer}
\setbeamertemplate{footline}[frame number]{}%gets rid of bottom navigation bars
\setbeamertemplate{navigation symbols}{}%remove navigation symbols
\setbeamertemplate{footline}{}%gets rid of footer
\useoutertheme[subsection=false]{miniframes}
\setbeamertemplate{mini frames}{}
\setbeamertemplate{frametitle}{%
\nointerlineskip%
\begin{beamercolorbox}[wd=\paperwidth,ht=2.5ex,dp=1.2ex]{frametitle}
\hspace*{1ex}\insertframetitle%
\end{beamercolorbox}%
}
\setbeamercolor{frametitle}{fg=red,bg=black}
\setbeamercolor{title}{fg=red}
\setbeamertemplate{section in head/foot}{\hfill\bfseries\insertsectionhead}
\setbeamercolor{section in head/foot}{bg=red,fg=black}
\setbeamercolor{author in head/foot}{fg=red,bg=black}
\setbeamercolor{date in head/foot}{fg=red,bg=black}
\setbeamertemplate{section in head/foot shaded}[default][30]
\begin{document}
\section{Hello}
\begin{frame}{Hello}
Hello
\end{frame}
\end{document}
The reason I would like to change the section height manually is that there seems to be a difference between TeX Live 2015 and TeX Live 2018 when compiling the above code. In the former I get:

I would like to reproduce the TeX Live 2015 behavior by adapting the TeX Live 2018 behavior manually. Any help would be appreciated.

