⧼vector-jumptocontent⧽

MediaWiki:Common.css: Difference between revisions

From EPrints Documentation
No edit summary
No edit summary
Line 1: Line 1:
/* CSS placed here will be applied to all skins */
/* CSS placed here will be applied to all skins */
.source-perl, .source-xml, code {
border: 1px solid #888;
background-color: #EEE;
overflow: auto;
}
code {
code {
border-style: none;
}
}
.source-perl, .source-xml {
.source-perl, .source-xml {
padding: 10px 15px;
padding: 10px 15px;
margin-left: 2em;
margin-left: 2em;
border: 1px solid #888;
background-color: #EEE;
overflow: auto;
}
}
.source-perl, .source-xml, pre, tt, code {
.source-perl, .source-xml, pre, tt, code {
font-size: 125%;
font-size: 125%;
}
}

Revision as of 11:22, 18 April 2012

/* CSS placed here will be applied to all skins */
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%;
}