border-color: #666666;
background-color: #dedede;
}
div#mw-panel div.portal div.body ul li,
div#mw-panel div.portal h3 {
font-size: 1em; /* original was 0.75em */
}
div#mw-panel {
width: 12em; /* increase width of the container; was 10em */
}
.mw-body {
margin-left: 15em; /* move content to a fitting place; was 13em */
}
/* Don't display some stuff on the main page */
