comparison demo/more/grid1.ur @ 923:0a91c6ee7eec

Add grid CSS
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Sep 2009 14:54:47 -0400
parents 5e8b6fa5b48f
children 51bc7681c47e
comparison
equal deleted inserted replaced
922:d6a71f19a3d8 923:0a91c6ee7eec
42 42
43 fun main () = 43 fun main () =
44 grid <- grid; 44 grid <- grid;
45 return <xml> 45 return <xml>
46 <head> 46 <head>
47 <link rel="stylesheet" type="text/css" href="/defun/grid.css"/> 47 <link rel="stylesheet" type="text/css" href="../../grid.css"/>
48 </head> 48 </head>
49 <body onload={sync grid}> 49 <body onload={sync grid}>
50 {render grid} 50 {render grid}
51 </body> 51 </body>
52 </xml> 52 </xml>