use divs instead of ul li to avoid GitHub styling (!2233) · Merge requests · Administrator / sourcegraph

Created by: vanesa

Problem (issue #1765): Our Ext debug menu is showing a bullet point due to GitHub's css styling the li.

Solution: Use divs instead of ul > li to avoid external styling and also improve the appearance of the menu from this:

to this:

use divs instead of ul li to avoid GitHub styling