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.
This commit is contained in:
Matt Rogers 2011-12-19 12:10:18 -06:00
parent 00e9cab309
commit f7875d57af

View file

@ -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 {