annotate demo/more/out/dragList.css @ 1249:7c6fc92f6c31

Complain about DValRec; optimizations for unit-valued ECase and forgetting of path conditions across ESeq
author Adam Chlipala <adamc@hcoop.net>
date Thu, 29 Apr 2010 11:47:24 -0400
parents cc956020801b
children
rev   line source
adamc@917 1 ul {
adamc@917 2 width: 200px;
adamc@917 3 list-style-image: url(http://script.aculo.us/images/bullet.gif);
adamc@917 4 }
adamc@917 5
adamc@917 6 li {
adamc@917 7 color: #7E9E50;
adamc@917 8 font: 20px Georgia;
adamc@917 9 background-color: #ECF3E1;
adamc@919 10 border: 1px solid #C5DEA1;
adamc@917 11 cursor: move;
adamc@917 12 margin: 0px;
adamc@917 13 }
adamc@917 14
adamc@917 15 h2 {
adamc@917 16 font: 42px/30px Georgia, serif;
adamc@917 17 color: #7E9E50;
adamc@917 18 }