# HG changeset patch # User Adam Chlipala # Date 1252608887 14400 # Node ID 0a91c6ee7eec0cc2368f3705eb475a8c58dbacb4 # Parent d6a71f19a3d8f48d61f7eb7d2e3d07295610ea0f Add grid CSS diff -r d6a71f19a3d8 -r 0a91c6ee7eec demo/more/grid1.ur --- a/demo/more/grid1.ur Wed Sep 09 08:15:46 2009 -0400 +++ b/demo/more/grid1.ur Thu Sep 10 14:54:47 2009 -0400 @@ -44,7 +44,7 @@ grid <- grid; return - + {render grid} diff -r d6a71f19a3d8 -r 0a91c6ee7eec demo/more/out/grid.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/more/out/grid.css Thu Sep 10 14:54:47 2009 -0400 @@ -0,0 +1,15 @@ +.Grid1_tabl { + border-style: solid +} + +.Grid1_th { + border-style: solid +} + +.Grid1_tr { + border-style: solid +} + +.Grid1_td { + border-style: solid +}