[tweaks
Don Stewart <dons@galois.com>**20100719225823
 Ignore-this: 7f1e107455b60fe2ace6b6c37f649f79
] {
hunk ./download-website/index.html 22
-            <table align="center">
+            <table align="center" width="290px">
hunk ./download-website/style.css 3
-#download_bar{margin:12% auto 0 auto;text-align:center;font-size:1.3em;color:#aa0000;}
+#download_bar{margin:9% auto 0 auto;text-align:center;font-size:1.3em;color:#aa0000;}
}