MediaWiki:Common.css: Difference between revisions
No edit summary |
identation |
||
Line 31: | Line 31: | ||
span.shell { | span.shell { | ||
white-space: nowrap; | white-space: nowrap; | ||
margin: 0; | margin: 0; | ||
border: 1px solid #ddd; | border: 1px solid #ddd; | ||
background-color: #f8f8f8; | background-color: #f8f8f8; | ||
border-radius: 3px; | border-radius: 3px; | ||
max-width: 100%; | max-width: 100%; | ||
display: inline-block; | display: inline-block; | ||
overflow: auto; | overflow: auto; | ||
vertical-align: middle; | vertical-align: middle; | ||
line-height: 1.3; | line-height: 1.3; | ||
padding: 0; | padding: 0; | ||
font-family: Consolas, "Liberation Mono", Courier, monospace; | font-family: Consolas, "Liberation Mono", Courier, monospace; | ||
font-size: 12px; | font-size: 12px; | ||
box-sizing: border-box; | box-sizing: border-box; | ||
text-shadow: none; | text-shadow: none; | ||
background: rgba(65,131,196,0.4); | background: rgba(65,131,196,0.4); | ||
color: #333333; | color: #333333; | ||
} | } |
Revision as of 16:49, 26 February 2015
/* CSS placed here will be applied to all skins */
@import url(http://fonts.googleapis.com/css?family=Droid+Sans+Mono);
div.mw-geshi {
font-family: 'Droid Sans Mono',sans-serif;
padding: 1em;
margin: 1em 0;
border: 1px dashed #2f6fab;
/* background-color: #f9f9f9; */
background-color: #d7d7d7;
}
code {
font-family: 'Droid Sans Mono',sans-serif;
padding: 2px 4px;
font-size: 90%;
color: #FFF;
background-color: #333;
border-radius: 3px;
box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.25);
}
span.package {
padding: 2px 4px;
font-size: 90%;
color: #333;
background-color: #ddd;
border-radius: 3px;
box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.25);
}
span.shell {
white-space: nowrap;
margin: 0;
border: 1px solid #ddd;
background-color: #f8f8f8;
border-radius: 3px;
max-width: 100%;
display: inline-block;
overflow: auto;
vertical-align: middle;
line-height: 1.3;
padding: 0;
font-family: Consolas, "Liberation Mono", Courier, monospace;
font-size: 12px;
box-sizing: border-box;
text-shadow: none;
background: rgba(65,131,196,0.4);
color: #333333;
}