fix: font size in top menu, top margin for tree.

website/web/sri.txt

@@ -33,8 +33,8 @@
     "secure.svg": "H8ni7t0d60nCJDVGuZpuxC+RBy/ipAjWT627D12HlZGg6LUmjSwPTQTUekm3UJupEP7TUkhXyq6WHc5gy7QBjg==",
     "stats.css": "/kY943FwWBTne4IIyf7iBROSfbGd82TeBicEXqKkRwawMVRIvM/Pk5MRa7okUyGIxaDjFQGmV/U1vy+PhN6Jbw==",
     "stats_graph.js": "0OEouA6NAxLG2wMd7D2vtGoMrXKna7My98Euc6ecyfdO4/6mIJS87vzISOS4zSZ8u4ehpa+p7E0nWhsXXE7H/Q==",
-    "tree.css": "dnxO30wm12jtQCVNviK5az3kCGJhvbUjCB33caVZeHuZ6Pkp9Nuc3/leGYlKxtMtJlqWd176cac8b6oWAVTThQ==",
-    "tree.js": "JeCMrFdQDrSYAXaJZE/tCOnfusbQI68rzFhyo0ojBCHt2FAs/DDBdYwCpkFNZ7J+n05NpfbegrrKVqd06PCNXA==",
+    "tree.css": "THJ9LnnSJ91DSTvrYoOCxRrenGgwsgG5zKo+eZLH2rRFHn6lpX9UpmRhRic4th9ZYuM9/NJUS7LqYBDRPPnB1Q==",
+    "tree.js": "gHr2HiDbQYfVhBtt95VP6+f7k4neVnfcXV66o4oKg7wB3HVNs/XrTCXpthS3W8yfouySLpZoTVTaPHrAvs5wwg==",
     "up.jpg": "d1ljZJ9f5JekyM6RLFFH2Ua44j6neiQBdUIXOenRTjGppQr3JaeglpQIH6BjPCJL177+TH52U3UIRNS5YAyKIg==",
     "up_right.jpg": "OMmz+n+MxR34P8/fn5t4DkqKqdJRzQbXQ7fAi2lhkZIJGhVs2vIyY1f2hpYoBxDAX1OcYsSE2lqIR2vXNDGZsA==",
     "video.png": "gJtmkfr8I1Kw43pYEKjg6CAjgmhl1vIBKBQ3ZkxCu3wvxQm+6kf93iLrrFiY2WuiXzxEn2Leu52GJzmVN5id0g==",

website/web/static/tree.css

@@ -87,7 +87,6 @@ hr {
 #menu_horizontal {
   position: fixed;
   top: 5px;
-  left: 222px;
   background: white;
   border: 2px solid;
   padding-top: 5px;
@@ -99,6 +98,7 @@ hr {
   position: fixed;
   top: 5px;
   left: 5px;
+  left: 217px;
   padding-top: 5px;
   padding-right: 5px;
   padding-left: 5px;

website/web/static/tree.js

@@ -3,7 +3,7 @@
 
 // Set the dimensions and margins of the diagram
 let margin = {
-    top: 110,
+    top: 170,
     right: 200,
     bottom: 10,
     left: 90

website/web/templates/tree.html

@@ -184,7 +184,8 @@
   </div>
 </div>
 
-<div class="tree-panel-container d-flex" id="menu_horizontal">
+<div id="menu_container_horizontal" class="tree-panel-container">
+  <div id=menu_horizontal class="d-flex">
     <div class="flex-shrink-1">
       <button type="button" class="btn btn-link mr-3 align-self-center" data-bs-toggle="collapse" data-bs-target="#menu_horizontal_content">
         <span class="if-collapsed">