# HG changeset patch
# User bsw
# Date 1340636680 -7200
# Node ID b2c61341112f8618f813a5ead0ac44b75c5d7789
# Parent  710530f5dd4549379cdb8412628642ad1169af2d
Use the same border radius for ui tabs as for other things

diff -r 710530f5dd45 -r b2c61341112f static/style.css
--- a/static/style.css	Mon Jun 25 17:03:32 2012 +0200
+++ b/static/style.css	Mon Jun 25 17:04:40 2012 +0200
@@ -495,7 +495,7 @@
   background-image: -webkit-linear-gradient(top, #000 0%, #444 70%, #777 90%, #888 100%);
   color: #fff;
   white-space: nowrap;
-  border-radius: 5px;
+  border-radius: 10px;
   font-weight: bold;
   margin: 3px;
 }