From d4b446d12290c8208814fc1068973eb0ed062ae0 Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Sat, 9 Nov 2024 16:11:41 -0800
Subject: [PATCH] styling fixes for iphone

---
 playground/samples/Lists.newt | 5 ++++-
 playground/style.css          | 5 +++--
 2 files changed, 7 insertions(+), 3 deletions(-)

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 {