interface: bigger now

index.html

@@ -7,7 +7,8 @@
 <script src="lib/p5.js"></script>
 <style>
 :root {
-  --aside-size: 218px;
+  --aside-width: 220px;
+  --aside-height: 256px;
 }
 .js {
   display: none;
@@ -24,7 +25,7 @@ body {
   background-color: #1b1b1b;
   overflow: hidden;
   display: grid;
-  grid-template-columns: var(--aside-size) auto;
+  grid-template-columns: var(--aside-width) auto;
   color: white;
 }
 aside {
@@ -56,7 +57,7 @@ aside > container > div {
 @media screen and (orientation:portrait) {
   body {
     grid-template-columns: none;
-    grid-template-rows: auto var(--aside-size);
+    grid-template-rows: auto var(--aside-height);
   }
   aside {
     order: 1;
@@ -83,8 +84,7 @@ aside > container > div {
 <div>
 <button onclick="toggle_skeleton()">Skeleton</button>
 <input id="checkbox-skeleton" type="checkbox" disabled>
-</div>
-<div>
+<div></div>
 <button onclick="toggle_polytope()">Polytope</button>
 <input id="checkbox-polytope" type="checkbox" disabled>
 </div>