Fix text overlapping case sensitivity toggle (!7840) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge fa/fix-overlap into master Jan 17, 2020

Created by: attfarhan

Fixes https://github.com/sourcegraph/sourcegraph/issues/7834.