Microsoft provides width adjustment options for Microsoft Edge vertical tabs