From a4c0f0e95de3189af7a23d7ae0601c35c9c6d922 Mon Sep 17 00:00:00 2001
From: kovacsv <viktorkovacs@gmail.com>
Date: Sun, 7 Nov 2021 17:35:29 +0100
Subject: [PATCH] Fine-tune panel set size and scroll behavior.

---
 website/o3dv/css/website.css | 2 +-
 website/o3dv/js/navigator.js | 2 +-
 website/o3dv/js/panelset.js  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/website/o3dv/css/website.css b/website/o3dv/css/website.css
index 715621d..a820faa 100644
--- a/website/o3dv/css/website.css
+++ b/website/o3dv/css/website.css
@@ -103,7 +103,7 @@ div.main
 
 div.main_navigator
 {
-	width: 240px;
+	width: 260px;
 	margin: 10px 0px 10px 0px;
 	overflow: none;
 	float: left;
diff --git a/website/o3dv/js/navigator.js b/website/o3dv/js/navigator.js
index 134c248..95346e2 100644
--- a/website/o3dv/js/navigator.js
+++ b/website/o3dv/js/navigator.js
@@ -117,7 +117,7 @@ OV.Navigator = class
                 originalWidth = this.mainDiv.outerWidth (true);
             },
             onSplit : (xDiff) => {
-                const minWidth = 250;
+                const minWidth = 260;
                 const maxWidth = 450;
                 let newWidth = originalWidth + xDiff;
                 if (newWidth < minWidth) {
diff --git a/website/o3dv/js/panelset.js b/website/o3dv/js/panelset.js
index 46605ab..0702475 100644
--- a/website/o3dv/js/panelset.js
+++ b/website/o3dv/js/panelset.js
@@ -53,7 +53,7 @@ OV.PanelSet = class
     {
         this.parentDiv = parentDiv;
         this.menuDiv = $('<div>').addClass ('ov_panel_set_menu').appendTo (parentDiv);
-        this.contentDiv = $('<div>').addClass ('ov_panel_set_content').appendTo (parentDiv);
+        this.contentDiv = $('<div>').addClass ('ov_panel_set_content').addClass ('ov_thin_scrollbar').appendTo (parentDiv);
         this.panels = [];
         this.panelButtons = [];
         this.panelsVisible = true;