Skip to content

Highlight currently selected repo and fix various style issues

Closes #80 (closed)

Merge request reports