MediaWiki:Common.css: Difference between revisions

Content added Content deleted
(Try with 'pre', rather than just highlighted_source.)
(I wish CSS supported something like (100%-2em))
Line 566: Line 566:


.pre {
.pre {
width: 95%;
overflow: auto;
overflow: auto;
}
}