Hide theme button under menu in mobile mode and fix top margin issue …#48080

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:mobile-docs-fixes

Feb 10, 2018

Commits on Feb 8, 2018

Hide theme button under menu in mobile mode and fix top margin issue (in mobile too)
GuillaumeGomez
committed