Merge lp:~julian-edwards/launchpad/khtml-border-radius-bug-414759 into lp:launchpad

[Julian Edwards]

[Julian Edwards (julian-edwards)]

= Summary =
Fix CSS for Konqueror rounded border corners
See linked bug.

== Implementation details ==
Konqueror needs different CSS for rounded border corners. We now have 4 ways
of doing this, great huh!

    -khtml-border-radius: 5px;

== Tests ==
None

== Demo and Q/A ==
Fire up Konqueror and look at a side portlet, the new project page is a good
one, e.g.:

https://launchpad.dev/firefox

= Launchpad lint =

Checking for conflicts. and issues in doctests and templates.
Running jslint, xmllint, pyflakes, and pylint.
Using normal rules.

Linting changed files:
  lib/canonical/launchpad/icing/style-3-0.css

[Deryck Hodge (deryck)]

Hi, Julian.

Looks good to me.

Cheers,
deryck

review: Approve

=== modified file 'lib/canonical/launchpad/icing/style-3-0.css'
--- lib/canonical/launchpad/icing/style-3-0.css	2009-08-13 02:24:56 +0000
+++ lib/canonical/launchpad/icing/style-3-0.css	2009-08-17 11:22:39 +0000
@@ -28,6 +28,7 @@
     -moz-border-radius: 0;
     -o-border-radius: 0;
     -webkit-border-radius: 0;
+    -khtml-border-radius: 0;
     font-size: inherit !important;
     }
 #portlets .portlet h2, div.aside h2 {
@@ -211,6 +212,7 @@
     padding: 0.8em;
     -moz-border-radius: 3px 3px 0 0;
     -webkit-border-radius: 3px 3px 0 0;
+    -khtml-border-radius: 3px 3px 0 0;
     border-radius: 3px 3px 0 0;
     }
 .footer .lp-arcana img {
@@ -481,6 +483,7 @@
     border: 1px solid #dedede;
     -moz-border-radius: 5px;
     -webkit-border-radius: 5px;
+    -khtml-border-radius: 5px;
     border-radius: 5px;
     padding: 0.5em;
     color: #484848;
@@ -505,6 +508,7 @@
     border: 1px solid #4f843c;
     -moz-border-radius: 3px;
     -webkit-border-radius: 3px;
+    -khtml-border-radius: 3px;
     border-radius: 3px;
     background: #4f843c url(/@@/bg-project-downloads.png) center right no-repeat;
     padding: 6%;
@@ -521,6 +525,7 @@
 .downloads .released span {
     -moz-border-radius: 0 0 5px 5px;
     -webkit-border-radius: 0 0 5px 5px;
+    -khtml-border-radius: 0 0 5px 5px;
     border-radius: 0 0 5px 5px;
     background: #d3e3c7;
     padding: 0.2em 1em;