remove min-width that is not used by browsers anyway

add issue search box

allow path mapping overrides for cleaner URLs

(0) -300 -100 -30 -10 -3 +3 tip

mercurial