From 616478eba0e0d7d4b415922708cba344c3903f2e Mon Sep 17 00:00:00 2001
From: Bert Verhelst <verhelstbert@gmail.com>
Date: Sat, 28 Jan 2023 22:38:51 +0100
Subject: [PATCH] docs: made sidebar wider and don't wrap lines

---
 docs/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/index.html b/docs/index.html
index 74b1644..d6eb863 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -6,8 +6,8 @@
 ---
 {% include header.html %}
 
-<div class='content-root'>
-  <div class='menubar'>
+<div class='content-root' style="padding-left: 400px">
+  <div class='menubar' style="width: 400px; white-space: nowrap">
     <div class='menu section' role='flatdoc-menu'></div>
   </div>
   <div role='flatdoc-content' class='content'></div>