Size of ellipse:ed elements

Since we allow for any (Google) font to be used we needed to be able to have the user compensate for font compression. So we introduced a CSS variable we called "tab text overflow value" which allows the user to do this compensation easy.