scale height of infolines headline with fontsize of `section in head/foot`

[samcarter]

As shown in https://tex.stackexchange.com/q/678971/36296 the infolines headline can get too small if users choose a bigger (sub)section in head/foot font. Currently the height of the boxes is defined relative the headline font (which has tiny structure as parent font).

One could lessen the problem by scaling it with respect to the section in head/foot font.

Cons:

• for existing presentations with a non-standard section in head/foot font, this will change the layout
• I'm making the assumption that the section in head/foot font is bigger or equal to the subsection in head/foot font. In case the subsection in head/foot font is bigger than the section in head/foot font one will still have this problem.

Test file:

\documentclass[compress]{beamer}
\usetheme{CambridgeUS}

\setbeamerfont{section in head/foot}{size=\fontsize{15}{15}\selectfont}
\setbeamerfont{subsection in head/foot}{size=\fontsize{15}{15}\selectfont}

\begin{document}

\section{Title Page}
\subsection{XXXXXXXXXXXXXXXXXXXXXXXX}
\begin{frame}
\frametitle{title}
\title{Estimation}
\titlepage
\end{frame}

\end{document}

[josephwright]

Looks like a reasonable change to me