extra param to preserve font-size changes in dock to TEI (false by default)