Use border-style: none; rather than border: 0px; for img.

diff --git a/doc/style.css b/doc/style.css
index fa70530ccc752cdf6eeb21855ef45b224f5fb8f1..c34d9b2d19c903ea8cac0c87f5c87903e0945889 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -63,7 +63,7 @@ div.tags {
 }
 
 img {
-       border: 0px;
+       border-style: none;
 }
 
 /* Stuff for the RecentChanges table. */