MediaWiki:Common.css

/* CSS placed here will be applied to all skins */

p + p { 
    /* line-height: 200%; */
    margin-top: 1.5em;
    /* padding-bottom: 2px; */
}

.Tab { 
    target-new: tab ! important 
}

.syntaxhighlight { 
    font-family: "Courier New", Courier, mono;
    font-size: 9pt;
    background-color: #FFFFEE;
    line-height: 1.25em;
    margin-right: 10px; 
    margin-left: 10px; 
    padding-top: 0px; 
    padding-right: 5px; 
    padding-bottom: 5px; 
    padding-left: 5px; 
    border: 1px #CCCCCC solid
}
	
.cs { 
    font-family: "Courier New", Courier, mono;  
    font-size: medium;
    background-color: #FFFFEE; 
    line-height: 1.25em;
    margin-right: 10px; 
    margin-left: 10px; 
    padding-top: 0px; 
    padding-right: 5px; 
    padding-bottom: 5px; 
    padding-left: 5px; 
    border: 1px #CCCCCC solid;
}

.Alert { 
    color: #FF0000;
}

.DLInfo {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 9px;
}

.Category {  
    font-size: 14pt; font-weight: bold
}

.CodeBlockHeader { 
    background-color: #CCCCCC; 
    font-weight: bold; 
    margin-right: 10px; 
    margin-left: 10px; 
    padding-top: 0px; 
    padding-right: 5px; 
    padding-bottom: 0px; 
    padding-left: 5px; 
    border: #CCCCCC; 
    border-style: solid; 
}
	
.CodeBlockStyle { 
    font-family: "Courier New", Courier, mono;  
    font-size: medium;
    background-color: #FFFFEE; 
    line-height: 1.25em;
    margin-right: 10px; 
    margin-left: 10px; 
    padding-top: 0px; 
    padding-right: 5px; 
    padding-bottom: 5px; 
    padding-left: 5px; 
    border: 1px #CCCCCC solid;
}
	
.CodeStyle { 
    font-family: "Courier New", Courier, mono;  
    font-size: 2;
}

.Inactive {
    color: #CCCCCC;
}
	
.Key{ 
    color: #0000FF;
}

.SglQt { 
    color: #FF6600;
}

.DblQt { 
    color: #CC0033;
}
	
.Green{ 
    color: #006633;
}

.Comment {  
    font-style: italic; 
    color: #000080 /* #009900 */;
    background-color: #00FFFF
}

.Int { 
    color: #000099; 
}

.Op { 
    color: #006633; 
}

.Mono {
    font-family: "Courier New", Courier, mono;
    font-size: 11pt;
}