/*
* Styles for the HTML Diff
*/
+div.diff-switchtype{
+ text-align: center;
+ font-weight: bold;
+ font-size: smaller;
+}
+
span.diff-html-added {
font-size: 100%;
background-color: #20ff20
span.diff-html-changed {
background: url(images/diffunderline.gif) bottom repeat-x;
+ /* Hack for IE5.5, see http://lists.wikimedia.org/pipermail/wikitech-l/2008-November/040273.html */
*background-color: #c6c6fd; /* light blue */
}
padding: 3px 7px 4px 6px;
border: 1px solid #336;
background-color: #f7f7ee;
- font-family: arial, helvetica, sans-serif;
font-size: 10px;
- font-weight: normal;
- color: #000;
text-align: left;
}