webapps.mason.grid: column widths

diff --git a/extra/webapps/mason/grids/grids.factor b/extra/webapps/mason/grids/grids.factor
index 05638a5513b5a5616268db2e8a99d8cad54952c7..76df6b76b889251d2f578e811e9249b391149786 100644 (file)
--- a/extra/webapps/mason/grids/grids.factor
+++ b/extra/webapps/mason/grids/grids.factor
@@ -27,19 +27,29 @@ CONSTANT: cpus
 }
 
 : render-grid-header ( -- xml )
-    oses values [ [XML <th scope='col'><-></th> XML] ] map ;
+    oses values [ [XML <th scope="col"><-></th> XML] ] map ;
 
 :: render-grid-row ( cpu quot -- xml )
     cpu second oses keys [| os | cpu os quot render-grid-cell ] map
-    [XML <tr><th scope='row'><-></th><-></tr> XML] ;
+    [XML <tr><th scope="row"><-></th><-></tr> XML] ;
 
 :: render-grid ( quot -- xml )
     render-grid-header
     cpus [ quot render-grid-row ] map
     [XML
         <table class="downloads" cellspacing="0">
+            <colgroup>
+            <col style="width: 25%" />
+            <col style="width: 25%" />
+            <col style="width: 25%" />
+            <col style="width: 25%" />
+            </colgroup>
+            <thead>
             <tr><th class="nobg">OS/CPU</th><-></tr>
+            </thead>
+            <tbody>
             <->
+            </tbody>
         </table>
     XML] ;