Difference between revisions of "MediaWiki:Common.css"
From AGI Wiki
Jump to navigationJump to searchLine 5: | Line 5: | ||
/*font-family: "Times New Roman", Times, serif;*/ | /*font-family: "Times New Roman", Times, serif;*/ | ||
/*font-size: 10pt;*/ | /*font-size: 10pt;*/ | ||
− | line-height: 1.5em; | + | /*line-height: 1.5em;*/ |
/*text-align: justify;*/ | /*text-align: justify;*/ | ||
+ | } | ||
+ | |||
+ | p + p { | ||
+ | margin-top: 0.5em; | ||
} | } | ||
Revision as of 15:11, 10 December 2013
/* CSS placed here will be applied to all skins */
body {
/*font-family: "Times New Roman", Times, serif;*/
/*font-size: 10pt;*/
/*line-height: 1.5em;*/
/*text-align: justify;*/
}
p + p {
margin-top: 0.5em;
}
/*.captions {
font-size: 9pt;
color: #FFFFFF;
line-height: 1.25em;
background-color: #000000;
}*/
.Tab {
target-new: tab ! important
}
.syntaxhighlight {
font-family: "Courier New", Courier, mono;
font-size: medium;
background-color: #FFFFEE;
margin-right: 20px;
margin-left: 20px;
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;
}