Mercurial > urweb

diff src/demo.sml @ 773:74a090ff296e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
constraints demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 12:01:55 -0400
parents efceae06df17
children 412ccd97ab71
line wrap: on
line diff
--- a/src/demo.sml	Sat May 02 18:46:00 2009 -0400
+++ b/src/demo.sml	Sun May 03 12:01:55 2009 -0400
@@ -44,7 +44,7 @@
                                          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");