MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
Content deleted Content added
imported>Hendrik Brummermann removed padding on geshi boxes |
imported>Hendrik Brummermann No edit summary |
||
| Line 127: | Line 127: | ||
div.mw-geshi, div.source-java { |
div.mw-geshi, div.source-java, div.source-xml, div.source-php { |
||
margin:1em 0; |
margin:1em 0; |
||
border: 1px dashed #2fab6f; |
border: 1px dashed #2fab6f; |
||