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: 1em;
}
div#mw-panel {
width: 10em;
}
.mw-body {
margin-left: 15em;
}
/* Don't display some stuff on the main page */
