MediaWiki:Common.css: Difference between revisions
MediaWiki interface page
More actions
m Fix tiny cube |
m Adjust patch diff font size |
||
| (One intermediate revision by the same user not shown) | |||
| Line 661: | Line 661: | ||
/* Diff styles */ | /* Diff styles */ | ||
.diff-file { | .diff-file { | ||
font-family: monospace; | font-family: ui-monospace, monospace; | ||
} | } | ||
.diff-contents { | .diff-contents { | ||
display: none; /* Hidden by default */ | display: none; /* Hidden by default */ | ||
margin: 4px; | margin: 4px; | ||
margin-left: | margin-left: 0; | ||
border-top: 1px solid #E0E0E0; | border-top: 1px solid #E0E0E0; | ||
border-bottom: 1px solid #E0E0E0; | border-bottom: 1px solid #E0E0E0; | ||
background: #F9F9F9; | background: #F9F9F9; | ||
} | } | ||
.diff-name-text, .diff-name-binary | .diff-name-text, .diff-name-binary .diff-file-renamed { | ||
display: block; | display: block; | ||
font-size: 10.5px; | |||
} | } | ||
.diff-name-binary, .diff-file-renamed { | .diff-name-binary, .diff-file-renamed { | ||
color: #606060; | color: #606060; | ||
font-size: 10.5px; | |||
} | } | ||
.diff-name-text { | .diff-name-text { | ||
| Line 707: | Line 709: | ||
white-space: pre-wrap; | white-space: pre-wrap; | ||
clear: both; | clear: both; | ||
border-left: 1px solid #E0E0E0; | border-left: 1px solid #E0E0E0; | ||
border-right: 1px solid #E0E0E0; | border-right: 1px solid #E0E0E0; | ||
| Line 737: | Line 737: | ||
} | } | ||
.diff-line-ellipsis { | .diff-line-ellipsis { | ||
padding-top: | padding-top: 0; | ||
padding-bottom: 8px; | padding-bottom: 8px; | ||
font-size: 1.4em; | font-size: 1.4em; | ||
| Line 780: | Line 780: | ||
padding-left: 20px !important; | padding-left: 20px !important; | ||
background-position: 0 5px !important; | background-position: 0 5px !important; | ||
background-repeat: no-repeat !important; | |||
} | } | ||