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