634
edits
Changes
no edit summary
background-color: #dedede;
}
div#mw-panel div.portal div.body ul li,
div#mw-panel div.portal h3 {
font-size: 1em0.75em; /* original was 0.75em */
}
div#mw-panel {
width: 15em14em; /* increase width of the container; was 10em */
}
.mw-body {
margin-left: 15em11em; /* move content to a fitting place; was 13em */
}