Site Notice
hello, world
Difference between revisions of "MediaWiki:Css-prettify.css"
From Project-EPB Commons
([InPageEdit] 没有编辑摘要) |
([InPageEdit] 没有编辑摘要) |
||
Line 71: | Line 71: | ||
} | } | ||
pre.prettyprint { | pre.prettyprint { | ||
− | padding: | + | padding: 14px !important; |
border: 2px dashed #888 !important; | border: 2px dashed #888 !important; | ||
background: #f8f9fa !important; | background: #f8f9fa !important; | ||
+ | } | ||
+ | pre.prettyprint.linenums { | ||
+ | padding: 0px !important; | ||
} | } | ||
ol.linenums { | ol.linenums { |
Revision as of 18:34, 9 November 2019
.pln {
color: #000
}
@media screen {
.str {
color: #080
}
.kwd {
color: #008
}
.com {
color: #800
}
.typ {
color: #606
}
.lit {
color: #066
}
.pun,.opn,.clo {
color: #660
}
.tag {
color: #008
}
.atn {
color: #606
}
.atv {
color: #080
}
.dec,.var {
color: #606
}
.fun {
color: red
}
}
@media print,projection {
.str {
color: #060
}
.kwd {
color: #006;
font-weight: 700
}
.com {
color: #600;
font-style: italic
}
.typ {
color: #404;
font-weight: 700
}
.lit {
color: #044
}
.pun,.opn,.clo {
color: #440
}
.tag {
color: #006;
font-weight: 700
}
.atn {
color: #404
}
.atv {
color: #060
}
}
pre.prettyprint {
padding: 14px !important;
border: 2px dashed #888 !important;
background: #f8f9fa !important;
}
pre.prettyprint.linenums {
padding: 0px !important;
}
ol.linenums {
margin-top: 0;
margin-bottom: 0
}
li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8 {
list-style-type: unset !important;
}
li.L1,li.L3,li.L5,li.L7,li.L9 {
background: #e8e8e8 !important;
}