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.
---
 default.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'default.css')

diff --git a/default.css b/default.css
index 7eed0ce..2355684 100644
--- a/default.css
+++ b/default.css
@@ -318,8 +318,7 @@ h1 {
     margin: 5px;
     padding: 5px 5px 5px 15px;
     white-space: nowrap;
-    -moz-border-radius: 10px;
-    -webkit-border-radius: 10px;
+    border-radius: 10px;
 }
 
 .releases img {
-- 
cgit v1.2.3-70-g09d2