}
.tagcloud a {
color: #c31622;
}
.tagcloud a.external:visited {
color: #a53d1d;
}
div#content.mw-body ul li a {
color: #c31622;
}
div#content.mw-body ul li a:visited {
color: #a53d1d;
}
div#mw-panel div.portal div.body ul li a {
color: #c31622;
}
div#mw-panel div.portal div.body ul li a:visited {
color: #a53d1d;
}
a {
