MediaWiki:Common.css: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary |
||
| Line 373: | Line 373: | ||
padding-bottom: 0 !important; | padding-bottom: 0 !important; | ||
margin-bottom: .5em !important; | margin-bottom: .5em !important; | ||
font-size: .875rem; | |||
} | } | ||
| Line 439: | Line 440: | ||
padding-left: 0; | padding-left: 0; | ||
margin-top: 0.5em; | margin-top: 0.5em; | ||
font-size: | font-size: .875rem; | ||
list-style-type: disc; | list-style-type: disc; | ||
} | } | ||
| Line 448: | Line 449: | ||
--is-border-color: #000; | --is-border-color: #000; | ||
} | } | ||
html.skin-theme-clientpref-night { | html.skin-theme-clientpref-night { | ||
--tab-active-bg: #54595d; | --tab-active-bg: #54595d; | ||