At least Opera whines about it and the round corners are not consistent to all other boxes with square corners.
* to ensure that client-side caches don't keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '155';
+$wgStyleVersion = '156';
# Server-side caching:
border: solid 1px silver;
padding: 4px;
margin: 1em;
- -moz-border-radius: 6px;
background: #f0f0f0;
}
border: solid 1px silver;
padding: 4px;
margin: 1em;
- -moz-border-radius: 6px;
background: #f0f0f0;
}
border: solid 1px silver;
padding: 4px;
margin: 1em;
- -moz-border-radius: 6px;
background: #f0f0f0;
}