Difference between revisions of "MediaWiki:Common.css"
From SCI Wiki
Jump to navigationJump to searchLine 129: | Line 129: | ||
.Reference { | .Reference { | ||
font-family: "Courier New", Courier, mono; | font-family: "Courier New", Courier, mono; | ||
− | font-size: | + | font-size: 9pt; |
border: 1px #CCCCCC solid; | border: 1px #CCCCCC solid; | ||
} | } |
Revision as of 21:56, 26 February 2016
/* 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: 10pt;
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: 10pt;
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: 10pt;
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: 10pt;
}
.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;
}
.Highlight {
background-color: #FFFF00;
}
.Reference {
font-family: "Courier New", Courier, mono;
font-size: 9pt;
border: 1px #CCCCCC solid;
}