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