19,585
edits
MediaWiki:Common.css: Difference between revisions
m
no edit summary
Till Kraemer (talk | contribs) (Undo revision 18970 by Till Kraemer (talk)) |
Till Kraemer (talk | contribs) mNo edit summary |
||
| Line 385: | Line 385: | ||
div.reflist, | div.reflist, | ||
div.refbegin { | div.refbegin { | ||
font-size: | font-size: 80%; /* Default font-size */ | ||
margin-bottom: 0.5em; | margin-bottom: 0.5em; | ||
} | } | ||
div.refbegin-100 { | div.refbegin-100 { | ||
font-size: | font-size: 80%; /* Option for normal fontsize in {{refbegin}} */ | ||
} | } | ||
div.reflist ol.references { | div.reflist ol.references { | ||
font-size: | font-size: 80%; /* Reset font-size when nested in div.reflist */ | ||
margin-bottom: 0; /* Avoid double margin when nested in dev.reflist */ | margin-bottom: 0; /* Avoid double margin when nested in dev.reflist */ | ||
list-style-type: inherit; /* Enable custom list style types */ | list-style-type: inherit; /* Enable custom list style types */ | ||