From f7875d57af8e0c4c59d2770f6272c6a0e244cd69 Mon Sep 17 00:00:00 2001 From: Matt Rogers Date: Mon, 19 Dec 2011 12:10:18 -0600 Subject: [PATCH] Soften the UI a bit with some rounded edges. The badge in the header are now rounded. The corners of the groups in the project page are also now rounded. The rounding is done with CSS3, with specific markup for Firefox and Webkit-based browsers. IE versions less than 9 are not supported. --- public/stylesheets/standard.css | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/public/stylesheets/standard.css b/public/stylesheets/standard.css index 28ceefb0..594a312c 100644 --- a/public/stylesheets/standard.css +++ b/public/stylesheets/standard.css @@ -293,6 +293,9 @@ a.show_successors:hover, a.link_to_successors:hover {background-image: url(../im border: 1px solid #999; margin: 0px 0px 15px 0px; background: #fff; + border-radius: 5px; + -moz-border-radius: 5px; + -webkit-border-radius: 5px; } .completed { @@ -725,6 +728,10 @@ The colour of the background gets progressively yellower with age */ font-size: 12pt; margin: 10px 10px 0px 0px; height:26px; + -moz-border-radius: 2px; + -webkit-border-radius: 2px; + border-radius: 2px; + } ul {