diff --git a/playground/samples/Lists.newt b/playground/samples/Lists.newt
index 33ec6f6..9725b6c 100644
--- a/playground/samples/Lists.newt
+++ b/playground/samples/Lists.newt
@@ -1,4 +1,7 @@
-module Concat
+module Lists
+
+-- From the "Lists" chapter of Programming Language Foundations in Agda
+-- https://plfa.github.io/Lists/
 
 data Nat : U where
     Z : Nat
diff --git a/playground/style.css b/playground/style.css
index fad5fa2..584e76b 100644
--- a/playground/style.css
+++ b/playground/style.css
@@ -24,11 +24,12 @@
   height: 100%;
 }
 .wrapper.vertical .tabPanel.left {
-  flex: .6 .6;
+  /* designed to go down to the keyboard on my phone */
+  flex: .65 .65;
   height: 100px;
 }
 .wrapper.vertical .tabPanel.right {
-  flex: .4 .4;
+  flex: .35 .35;
   height: 100px;
 }
 .tabBar button {