Merge branch 'develop' of projects.ceondo.com:indefero into develop

This commit is contained in:
Thomas Keller 2011-01-05 15:35:49 +01:00
commit 0a7c2bca85

View File

@ -702,6 +702,14 @@ div.deprecated-page {
color: #a00;
}
ul > li {
list-style: disc outside none;
}
ol > li {
list-style: decimal outside none;
}
#branding {
float: right;
position: relative;