[FLINK-13724] Remove unnecessary whitespace from the docs' sidenav

• Type: Sub-task
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.10.0
• Fix Version/s: 1.8.3, 1.9.2, 1.10.0
• Component/s: Documentation
• Labels: pull-request-available
• Assignee: Nico Kruber
• Reporter: Nico Kruber
• Created: 14/Aug/19 21:21
• Updated: 14/Nov/19 17:05
• Resolved: 26/Aug/19 11:25

Description

The side navigation generates quite some white space that will end up in every HTML page. Removing this reduces final page sizes and also improved site generation speed.

Issue Links

• links to: GitHub Pull Request #9440