annotate demo/more/out/grid.css @ 1668:64c1e65c2365

Prevent horrifying loops in unification variable graph
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Jan 2012 16:20:10 -0500
parents 37dd42935dad
children be0c4e2e488a
rev   line source
adamc@923 1 .Grid1_tabl {
adamc@923 2 border-style: solid
adamc@923 3 }
adamc@923 4
adamc@923 5 .Grid1_th {
adamc@923 6 border-style: solid
adamc@923 7 }
adamc@923 8
adamc@923 9 .Grid1_tr {
adamc@923 10 border-style: solid
adamc@923 11 }
adamc@923 12
adamc@923 13 .Grid1_td {
adamc@923 14 border-style: solid
adamc@923 15 }
adamc@937 16
adamc@937 17 .Grid1_agg {
adamc@937 18 border-style: solid
adamc@937 19 }