Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
no edit summary
div.refbegin {
div.refbegin {
font-size: 90%; /* Default font-size */
font-size: 90%; /* Default font-size */
margin-bottom: 0.5em;
margin-bottom: 0.8em;
}
}
div.refbegin-100 {
div.refbegin-100 {
div.reflist ol.references {
div.reflist ol.references {
font-size: 100%; /* Reset font-size when nested in div.reflist */
font-size: 100%; /* Reset font-size when nested in div.reflist */
margin-bottom: 0.3em; /* Avoid double margin when nested in div.reflist */
margin-bottom: 0.8em; /* Avoid double margin when nested in div.reflist */
list-style-type: inherit; /* Enable custom list style types */
list-style-type: inherit; /* Enable custom list style types */
}
}