changeset 923:0a91c6ee7eec

Add grid CSS
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Sep 2009 14:54:47 -0400
parents d6a71f19a3d8
children 803342eb2dc0
files demo/more/grid1.ur demo/more/out/grid.css
diffstat 2 files changed, 16 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 <xml>
       <head>
-        <link rel="stylesheet" type="text/css" href="/defun/grid.css"/>
+        <link rel="stylesheet" type="text/css" href="../../grid.css"/>
       </head>
       <body onload={sync grid}>
         {render grid}
--- /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
+}