This is a read-only mirror of pymolwiki.org
Difference between revisions of "MediaWiki:Geshi.css"
Jump to navigation
Jump to search
(diff.source-diff) |
(margin-top for line numbered code) |
||
Line 13: | Line 13: | ||
font-size: 1.1em; | font-size: 1.1em; | ||
line-height: 1.3em; | line-height: 1.3em; | ||
+ | } | ||
+ | |||
+ | div.mw-geshi ol li + li { | ||
+ | margin-top:-1.8em; | ||
} | } |
Revision as of 20:51, 19 September 2012
/* CSS placed here will be applied to GeSHi syntax highlighting */
pre,
.bash.source-bash .de1, .bash.source-bash .de2,
.diff.source-diff .de1, .diff.source-diff .de2,
.python.source-python .de1, .python.source-python .de2 {
padding: 10px;
background-color: #eee;
border: 0 none;
border-left: 10px solid #ddd;
font-size: 1.1em;
line-height: 1.3em;
}
div.mw-geshi ol li + li {
margin-top:-1.8em;
}