On Fri, 14 Jun 2024 16:35:54 GMT, Hannes Wallnöfer wrote:
> Please review a change to slightly adjust the proportion between the side bar
> and the main content area in API documentation pages, making the side bar a
> bit slimmer and leaving more space for the main content area. The ratio
> be
Please review a change to slightly adjust the proportion between the side bar
and the main content area in API documentation pages, making the side bar a bit
slimmer and leaving more space for the main content area. The ratio between
side bar and main content used to be 1 : 2.6, it is now 1 : 3.