Remove ISSUES file.
Move some methods around in ExecutorServlet.
Improve appearance of navbar logo.
Hover area for navbar is now clickable. Fix hover and focus background colors for navbar dropdown.
Fix clickable area for navbar dropdown.
Merge pull request #98 from davidzchen/ui-tweaks

Navbar improvements