Improve website background quality

The old image was compressed with JPG and was improperly rendered anyway. The
background has been modified so that each dot lines up perfectly on pixel
boundaries. It's compressed with lossy PNG, which has the advantage of
preserving the quality of the dots.

There will be another PR to fix the background URL for the forum.

3 files changed, 2 insertions, 2 deletions

diff --git a/web/assets/images/bg.jpg b/web/assets/images/bg.jpg
deleted file mode 100644
index 4e33a79ce..000000000
--- a/web/assets/images/bg.jpg
+++ /dev/null
Binary files differdiff --git a/web/assets/images/bg.png b/web/assets/images/bg.png
new file mode 100644
index 000000000..91f335913
--- /dev/null
+++ b/web/assets/images/bg.png
Binary files differdiff --git a/web/assets/style.css b/web/assets/style.css
index 04e7a1769..b74cbc486 100644
--- a/web/assets/style.css
+++ b/web/assets/style.css
@@ -8,7 +8,7 @@ body {
 	min-width:1030px;
 	margin:0;
 	font:13pt "arial";
-	background:#152534 url("images/bg.jpg") no-repeat center top; 
+	background:#152534 url("images/bg.png") no-repeat center top; 
 	color:rgba(0,0,0,.8); }
 
 pre {
@@ -555,4 +555,4 @@ pre .end { background:url("images/tabEnd.png") no-repeat left bottom; }
 #body table.docutils {
     border-collapse: collapse;
     text-align: left;
-    border-spacing: 0px; }
\ No newline at end of file
+    border-spacing: 0px; }