Skip to content

Some fixes for repository homepage

This addresses @crwinfrey's comments from #79 (closed) and uses new non-JavaScript dependent @media queries to detect if it is shown on a mobile device or not.

Closes #79 (closed)

Merge request reports