UI fine tune

body.html

@@ -24,11 +24,11 @@
         <div id="spacer" onmousedown="mdown(event)" onmousemove="mmove(event)" onmouseup="mup(event)" onmouseout="mout(event)"></div>
         <div id="hsiz2" class="hsiz" onmousedown="hdrag2(event)"></div>
         <div id="ptspanel">
-            <span id="ptsbuttons">
+            <div id="ptsbuttons">
                 <button onclick='showall()'>Show all</button>
                 <button onclick='hideall()'>Hide all</button>
-            </span>
-            <table id="ptstable"></table>
+            </div>
+            <div id="ptscontainer"><table id="ptstable"></table></div>
         </div>
     </div>
 </div>

style.css

@@ -27,24 +27,21 @@ body{
 }
 #meshpanel{
     margin-left: 5px;
-    /*                padding: 5px;
-                    padding-right: 0;*/
     background: #F0F0FF;
     width: 200px;
     flex: none;
     display: flex;
     flex-direction: column;
-    overflow-x: hidden;
+    /*overflow: hidden;*/
     /*resize: horizontal;*/
 }
 #global{
     flex: none;
 }
 #tree{
     flex: auto;
-    /*padding-right: 0.5em;*/
-    overflow-x: hidden;
-    overflow-y: scroll;
+    margin-bottom: 0;
+    overflow: auto;
     user-select: none;
 }
 .hsiz{
@@ -56,14 +53,21 @@ body{
     flex: auto;
 }
 #ptspanel{
-    /*padding: 5px;*/
     flex: none;
     width: 150px;
     background: #F0F0FF;
-    overflow-y: scroll;
+    display: flex;
+    flex-direction: column;
+    overflow: hidden;
+    user-select: none;
 }
 #ptsbuttons{
     display: none;
+    flex: none;
+}
+#ptscontainer{
+    overflow: auto;
+    flex: auto;
 }
 
 #cut_box{