From 9638ff0c1f7b2254186a089a0e883a6b9f04f2bd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 May 2009 12:01:55 -0400
Subject: constraints demo

---
 src/demo.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index dc4715d7..55ff5bb8 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -44,7 +44,7 @@ fun make {prefix, dirname, guided} =
                                          file = "index.html"}
 
         val out = TextIO.openOut fname
-        val () = (TextIO.output (out, "<frameset cols=\"10%,90%\">\n");
+        val () = (TextIO.output (out, "<frameset cols=\"15%,85%\">\n");
                   TextIO.output (out, "<frame src=\"demos.html\">\n");
                   TextIO.output (out, "<frame src=\"intro.html\" name=\"staging\">\n");
                   TextIO.output (out, "</frameset>\n");
-- 
cgit v1.2.3