style.css: Replace obsolete -moz-outline-style property with outline-style

The "-moz-outline-style" property generates an error at the W3C CSS
validator, saying the property doesn't exist. According to
<https://developer.mozilla.org/en/CSS/-moz-outline-style>, this property
is obsolete and the use of "outline-style" is preferred.
(cherry picked from commit e3b5eab2971109d18332fe44fd396322bb148cfc)

diff --git a/doc/style.css b/doc/style.css
index 922b82a75a54b8fed3c6de3147c65d8ad1b1f7f3..fa413cf24a20432cb5a5221d47fe0032b93216bc 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -485,7 +485,7 @@ a.openid_large_btn:focus {
        outline: none;
 }
 a.openid_large_btn:focus {
-       -moz-outline-style: none;
+       outline-style: none;
 }
 .openid_selected {
        border: 4px solid #DDD;