From 86915f5c54370316a97fcc1ea414de8db8ce3e15 Mon Sep 17 00:00:00 2001
From: Thorbjørn Lindeijer <thorbjorn@lindeijer.nl>
Date: Wed, 6 Apr 2011 22:25:51 +0200
Subject: Rely directly on border-radius

The time that we have to rely on -moz-border-radius and
-webkit-border-radius appears to be over, since both browsers now
support the standard border-radius property, which should also work in
other browsers like Opera.
---
 downloads.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'downloads.php')

diff --git a/downloads.php b/downloads.php
index bd5a530..7e6bd34 100644
--- a/downloads.php
+++ b/downloads.php
@@ -3,7 +3,7 @@
   placeHeader("Downloads");
 ?>
 
-<div style="background-color: rgb(255,220,220); border: 1px solid rgb(240,150,150); padding: 5px; margin: 5px; -moz-border-radius: 10px; -webkit-border-radius: 10px;">
+<div style="background-color: rgb(255,220,220); border: 1px solid rgb(240,150,150); padding: 5px; margin: 5px; border-radius: 10px;">
 <b>Notice:</b> For the registration of new accounts please use the <a href="registration.php"> web form</a>. The registration from within the client is disabled.
 </div>
 
-- 
cgit v1.2.3-60-g2f50