GitLab

and text size of the default face in the current buffer.  The face is
changed via face remapping (see below).