⧼vector-jumptocontent⧽

MediaWiki:Common.css: Difference between revisions

From EPrints Documentation
No edit summary
No edit summary
Line 3: Line 3:
border: 1px solid #888;
border: 1px solid #888;
background-color: #EEE;
background-color: #EEE;
padding: 10px 2em;
padding: 10px 4em;
}
}
.source-perl, pre {
.source-perl, pre {
font-size: 125%;
font-size: 125%;
}
}

Revision as of 09:12, 2 March 2012

/* CSS placed here will be applied to all skins */
.source-perl {
border: 1px solid #888;
background-color: #EEE;
padding: 10px 4em;
}
.source-perl, pre {
font-size: 125%;
}