Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
(Font size for code a little bigger) |
(Font size fixes for more code blocks) |
||
Line 29: | Line 29: | ||
/* Fix the font-size */ | /* Fix the font-size */ | ||
− | .source-javascript, .source-css | + | .source-javascript, .source-css, .source-xml, .source-cpp |
{ | { | ||
font-size: 1.2em !important; | font-size: 1.2em !important; |
Revision as of 03:23, 22 July 2014
/* CSS placed here will be applied to all skins */
/* Infoboxes */
.infobox
{
float: right;
border: 1px solid black;
}
/* Teletype tag is used for inline code */
tt
{
background-color: #ddd;
padding-left: 0.5em;
padding-right: 0.5em;
}
/* Make sure the logo is the right width */
#p-logo a
{
width: 160px;
}
/* Gallery formatting */
.gallerybox .thumb div
{
margin: 5px;
}
/* Fix the font-size */
.source-javascript, .source-css, .source-xml, .source-cpp
{
font-size: 1.2em !important;
}
/* Tabs == 4 spaces */
body
{
tab-size: 4;
}