ProveIt rendering problems on demo page

[GoogleCodeExporter]

ProveIt has some rendering problems that are unique to the demo page. There is 
a space between the bottom of the tabs and the top of the reflist. Also, the 
minimize button is pushed all the way to the bottom of the header.

Original issue reported on code.google.com by kurt.luther on 30 Sep 2010 at 2:56

[GoogleCodeExporter]

Also, loading a new article for the demo doesn't work.

Original comment by kurt.luther on 5 Oct 2010 at 7:18

[GoogleCodeExporter]

Fixed CSS bugs. I wasn't able to replicate the demo loading problem. Can anyone 
else?

Original comment by kurt.luther on 12 Oct 2010 at 3:54

[GoogleCodeExporter]

I couldn't reproduce that when I tried before (shortly after you reported this).

Original comment by matthew....@gatech.edu on 12 Oct 2010 at 6:22

[GoogleCodeExporter]

The demo no longer works... possibly some new issues introduced by the recent 
removal of the anonymous function.

Original comment by kurt.luther on 25 Oct 2010 at 5:22

[GoogleCodeExporter]

Thanks, I've fixed that problem in 94ac1.

Original comment by matthew....@gatech.edu on 26 Oct 2010 at 12:23

[GoogleCodeExporter]

There appears to still be an issue using the Load article button -- it always 
seems to load the Georgia Tech article, even when other text is entered.

Original comment by kurt.luther on 26 Oct 2010 at 4:21

[GoogleCodeExporter]

There is also a minor CSS issue that is causing the "edit reference" button on 
an expanded ref to sit too close to the surrounding text.

Original comment by kurt.luther on 26 Oct 2010 at 4:25

[GoogleCodeExporter]

The loading problem should be fixed as of 57d6c; the form was actually getting 
submitted, which caused demo.php to load again.  84c59 fixes a separate error, 
caused by the global variables getting set too late.

Original comment by matthew....@gatech.edu on 27 Oct 2010 at 1:39

[GoogleCodeExporter]

Still need to fix CSS issue

Original comment by kurt.luther on 16 Nov 2010 at 8:46

• Changed state: Started

[GoogleCodeExporter]

Fixed in 62acdb8653

Original comment by kurt.luther on 23 Nov 2010 at 7:27

• Changed state: Fixed