Difference between revisions of "MediaWiki:Common.css"

From EPrints Documentation
Jump to: navigation, search
(Required by SyntaxHighlight_GeSHi extension)
(Commented out all additional CSS for now)
Line 1: Line 1:
 
/* CSS placed here will be applied to all skins */
 
/* CSS placed here will be applied to all skins */
code {
+
/* Commenting out all CSS as should no longer be required. */
 +
/* code {
 
}
 
}
 
.source-perl, .source-xml {
 
.source-perl, .source-xml {
Line 16: Line 17:
 
font-size: 90%;
 
font-size: 90%;
 
}
 
}
 +
*/

Revision as of 11:26, 24 May 2021

/* CSS placed here will be applied to all skins */
/* Commenting out all CSS as should no longer be required. */
/* code {
}
.source-perl, .source-xml {
padding: 10px 15px;
margin-left: 2em;
border: 1px solid #888;
background-color: #EEE;
overflow: auto;
}
.source-perl, .source-xml, pre, tt, code {
font-size: 125%;
}

.mw-highlight pre {
	font-size: 90%;
}
*/